|
Orbital library | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ClassicalLogic | |
|---|---|
| orbital.moon.logic | Contains implementations of some logics as well as a logic and mathematical expression parser. |
| Uses of ClassicalLogic in orbital.moon.logic |
|---|
| Subclasses of ClassicalLogic in orbital.moon.logic | |
|---|---|
class |
ModalLogic
Implementation of modal logic with local or global consequence. |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||