Package net.sf.tweety.logics.ml.writer
-
Class Summary 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): '*'MlWriter SPASSWriter This class prints single first-order modal logic formulas and knowledge bases to the SPASS format.