Tableaux'method for S4
[]p => p
examples
|
rules
|
syntax
|
info
|
home
Last Modified : 01-Feb-2010