The accepted input format (as considered by the parser) is summarized by:

• T,F stand for True,respectively False
• ~ stands for negation (eg. ~φ)
• /\,\/,->,<-,<-> stand for conjuction,disjunction,implication,reverse implication,double implication (eg. φ/\ψ)
• [],<> stand for "box", respectively "diamond" modal operators (eg. [i]φ, <i>φ)
• the "modal index" under the "box"/"diamond" modal operator depends on the logic and is allowed to be:
  • Nothing (ie. blank) for K, KD and Monotonic Modal Logic
  • Any set of agents/numbers (eg. {}, {1,2}, 1..7) for Coalition Logic
  • Any number (≥0) for Graded Modal Logic
  • Any positive rational number ≤1 (eg. 0.5, 1/3) for Probability Logic
  • Any letter for Hennesy-Milner Modal Logic
• variables of the type 'pN' where N is a number are also allowed

Back to Tool