| Class | Description |
|---|---|
| MleanCoPWriter |
Prints single FOL and modal formulas to the MleanCoP format:
Negation: '~' Conjunction: ',' Disjunction: ';' Implication: '=>' Equivalence: '<=>' Universal quantifier: 'all X:' Existential quantifier: 'ex X:' Modal box operator (Necessity): '#' Modal diamond operator (Possibility): '*' |
| ModalWriter | |
| SPASSWriter |
This class prints single first-order modal logic formulas and knowledge bases to
the SPASS format.
|