Distributed modal theorem proving with KE

DOI10.1007/3-540-61208-4_11zbMath1412.68254OpenAlexW1519261277MaRDI QIDQ4645234

Jeremy Pitt, Jim Cunningham

Publication date: 10 January 2019

Published in: Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61208-4_11

zbMATH Keywords

modal logictheorem provingautomated reasoningaccessibility relationmodal rule

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Uses Software

• TABLEAUX
• KQML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• TABLEAUX: A general theorem prover for modal logics
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• lean\(T^ AP\): Lean tableau-based deduction
• The Taming of the Cut. Classical Refutations with Analytic Cut

This page was built for publication: Distributed modal theorem proving with KE