hyps:

concls:

Wise men puzzle

Syntax:

  1. hypotheses and conclusions separators: comma and/or semicolon
  2. atoms: usual identifiers A,b,c1
  3. connectives: &, or, ->
  4. negation: ~, not
  5. for justified knowledge: J a, K 0 a, [0]a
  6. agents' knowledge: K 2 a, [3]a
  7. for ((K 1 a) or (K 1 ~a)) use: kwh 1 a
  8. for ((K 1 a) & ... & (K n a)) use: E n a
  9. for timed logic with three agents use: kt time agent f, et time f, kwt time agent f