Cited in
(28)- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
- scientific article; zbMATH DE number 1341473 (Why is no real title available?)
- A general tableau method for propositional interval temporal logics: theory and implementation
- scientific article; zbMATH DE number 1543301 (Why is no real title available?)
- Conditional and preferential logics. Proof methods and theorem proving.
- SOLAR: a consequence finding system for advanced reasoning
- A general proof certification framework for modal logic
- Liberalized variable splitting
- Free-variable tableaux for propositional modal logics
- Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
- LoTREC
- ARA
- RALL
- CondLean
- KLMLean
- leanTAP
- linTAP
- KtSeqC
- MSPASS
- An analysis of empirical testing for modal decision procedures
- Tableau methods for formal verification of multi-agent distributed systems
- scientific article; zbMATH DE number 1946871 (Why is no real title available?)
- scientific article; zbMATH DE number 1950267 (Why is no real title available?)
- scientific article; zbMATH DE number 1341478 (Why is no real title available?)
- An efficient relational deductive system for propositional non-classical logics
- Certification of prefixed tableau proofs for modal logic
- MleanCoP: a connection prover for first-order modal logic
- Automated Reasoning with Analytic Tableaux and Related Methods
This page was built for software: ModLeanTAP
