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 : 01-Apr-2019