pdl-tableau: Web Interactive Input Form
Theory Formulae
[]
Input formula
and(dia(comp(b,star(a)),p), box(comp(star(b), star(a)), not(p)))
pdl-tableau
Home
| Web Interactive Input Form
Last modified: 23 Feb 2007
Copyright © 2003-2007 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk