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

Uses Software

• TABLEAUX
• KQML

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

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