Propositional Logics on the Computer

Authors:
Alain Heuerding;Gerhard Jäger;Stefan Schwendimann;Michael Seyfried
Affiliations:
-;-;-;-
Venue:
TABLEAUX '95 Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Year:
1995

A Benchmark Method for the Propositional Modal Logics K, KT, S4

Journal of Automated Reasoning
A New One-Pass Tableau Calculus for PLTL

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A new general method to generate random modal formulae for testing decision procedures

Journal of Artificial Intelligence Research
Evaluating LTL satisfiability solvers

ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis

Hi-index	0.00