Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554MaRDI QIDQ5479291zbMATH OpenOpenAlexFDO

Authors N. Olivetti, G. L. Pozzato

Publication date 7 July 2006

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

Full work available at URL https://doi.org/10.1007/11554554

Mathematics Subject Classification ID

Recommendations

• CondLean: a theorem prover for conditional logics
• Theorem proving for conditional logics: CondLean and GOALDUCK
• A sequent calculus and a theorem prover for standard conditional logics
• NESCOND: an implementation of nested sequent calculi for conditional logics
• KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning

Cited in

(8)

• From input/output logics to conditional logics via sequents -- with provers
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• NESCOND: an implementation of nested sequent calculi for conditional logics
• CondLean: a theorem prover for conditional logics
• A sequent calculus and a theorem prover for standard conditional logics
• KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
• Mechanising Gödel-Löb provability logic in HOL light
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics

Describes a project that uses

Uses Software

• CondLean
• leanTAP
• ModLeanTAP

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods

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