| Class | Description |
|---|---|
| ModalBeliefSet |
This class models a modal knowledge base, i.e.
|
| ModalParserTest |
JUnit Test class for ModalParser.
|
| ModalReasonerTest |
JUnit Test class for modal reasoners, i.e.
|
| NaiveModalReasoner |
This class implements inference for modal logic using a brute-force approach.
|