Examples
[]p => p
p => []p
[]p.[](p =>q) => []q
[]p <=> [][]p
<>p <=> <><>p
<>(p+q) <=> <>p + <>q
[]p => <>[]<>p
<>[]<>p => []p
[]<>p <=> []<>[]<>p
examples
|
rules
|
syntax
|
info
|
home
|
download
Last Modified : 17-Dec-2021