ENTCS
2008
14 years 24 days ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
ISMIS
1993
Springer
14 years 4 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
CADE
1992
Springer
14 years 4 months ago
1992
Springer
Tableau