| Class | Description |
|---|---|
| ModalBeliefSet |
This class models a modal knowledge base, i.e.
|
| ModalFormula |
This class models a modal formula, i.e.
|
| Necessity |
This class models the necessity modality.
|
| Possibility |
This class models the possibility modality.
|