Tableaux'method for S4

Examples

  1. []p => p

  2. p => []p

  3. []p.[](p =>q) => []q

  4. []p <=> [][]p

  5. p <=> p

  6. (p+q) <=> p + q

  7. []p => []p

  8. []p => []p

  9. []p <=> [][]p

examples | rules | syntax | info | home| download Last Modified : 17-Dec-2021

AltStyle によって変換されたページ (->オリジナル) /