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

DOI10.1007/978-3-540-73099-6_19zbMath1132.68679OpenAlexW1594947418MaRDI QIDQ5434493

Gian Luca Pozzato, Valentina Gliozzi, Laura Giordano

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

Related Items (4)

From input/output logics to conditional logics via sequents -- with provers ⋮ CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ Preserving confidentiality while reacting on iterated queries and belief revisions

Uses Software

• leanTAP
• KLMLean
• ModLeanTAP

Cites Work

• leanTAP

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