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

Last Modified : 17-Jan-2010