Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Tableau for Multimodal Logics and Some (Un)Decidability Results
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A General Theorem Prover for Quantified Modal Logics
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Connections in nonclassical logics
Handbook of automated reasoning
leanCoP: lean connection-based theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
TABLEAUX '07 Proceedings of the 16th 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
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
OOPS: An S5n Prover for Educational Settings
Electronic Notes in Theoretical Computer Science (ENTCS)
CondLean 3.0: improving CondLean for stronger conditional logics
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
| Hi-index | 0.00 |