ModLeanTAP
From MaRDI portal
Software:24297
swMATH12368MaRDI QIDQ24297FDOQ24297
Author name not available (Why is that?)
Cited In (19)
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
- Title not available (Why is that?)
- A general tableau method for propositional interval temporal logics: theory and implementation
- Title not available (Why is that?)
- A general proof certification framework for modal logic
- MleanCoP: A Connection Prover for First-Order Modal Logic
- Liberalized variable splitting
- Free-variable tableaux for propositional modal logics
- Title not available (Why is that?)
- Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
- An analysis of empirical testing for modal decision procedures
- Tableau methods for formal verification of multi-agent distributed systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An efficient relational deductive system for propositional non-classical logics
- Title not available (Why is that?)
- Automated Reasoning with Analytic Tableaux and Related Methods
- Automated Reasoning with Analytic Tableaux and Related Methods
This page was built for software: ModLeanTAP
