See: Description
Interface | Description |
---|---|
_ModalFormula |
Interface describing modal formulas on the set of connectives
ModalConnective . |
_ModalFormulaSet |
Interface to be implemented by sets of modal formulas.
|
Enum | Description |
---|---|
ModalConnective |
The basic modal connectives.
|
ModalFormulaType |
The types of propositional formulas represented by formulas implemented by
ModalFormula . |