Package org.tweetyproject.logics.ml.writer


package org.tweetyproject.logics.ml.writer
  • Class Summary
    Class
    Description
    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): '*'
     
    This class prints single first-order modal logic formulas and knowledge bases to the SPASS format.