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

• atoms are of the shape 'pN' where N is a number
• T,F stand for True, respectively False
• ~ stands for negation (eg. ~φ)
• /\,\/,->,<-,<-> stand for conjuction, disjunction, implication, reverse implication, double implication (e.g. φ/\ψ)
• [],<> stand for "box", respectively "diamond" modal operators (e.g. [i]φ, <i>φ)
• the "modal index" under the "box"/"diamond" modal operator depends on the logic and is allowed to be:
  • Nothing (i.e. 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
• for conditional logic, the modal operator is binary and denoted by <>_=>_ (and []_=>_): <>φ=>ψ, <>F=>T;

Back to Tool