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.
|