KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning

DOI10.1007/978-3-540-73099-6_19MaRDI QIDQ5434493zbMATH OpenOpenAlexFDO

Authors Laura Giordano, V. Gliozzi, G. L. Pozzato

Publication date 4 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73099-6_19

Mathematics Subject Classification ID

Recommendations

• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• CondLean: a theorem prover for conditional logics
• Automated Reasoning with Analytic Tableaux and Related Methods
• Conditional and preferential logics. Proof methods and theorem proving.
• Theorem proving for conditional logics: CondLean and GOALDUCK

Cites work

• leanTAP

Cited in

(8)

• From input/output logics to conditional logics via sequents -- with provers
• Preserving confidentiality while reacting on iterated queries and belief revisions
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
• CondLean: a theorem prover for conditional logics
• Automated Reasoning with Analytic Tableaux and Related Methods
• Mechanising Gödel-Löb provability logic in HOL light
• Conditional normative reasoning as a fragment of HOL

Describes a project that uses

Uses Software

• leanTAP
• ModLeanTAP
• KLMLean

This page was built for publication: KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434493)