ModLeanTAP
From MaRDI portal
Software:24297
No author found.
Related Items (19)
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ MleanCoP: A Connection Prover for First-Order Modal Logic ⋮ Liberalized variable splitting ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ Free-variable tableaux for propositional modal logics ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ A general proof certification framework for modal logic ⋮ Tableau methods for formal verification of multi-agent distributed systems ⋮ An analysis of empirical testing for modal decision procedures
This page was built for software: ModLeanTAP
