Free-variable tableaux for propositional modal logics

DOI10.1023/A:1013886427723zbMath0991.03014OpenAlexW2127323984MaRDI QIDQ5955622

Bernhard Beckert, Rajeev Goré

Publication date: 3 September 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1013886427723

zbMATH Keywords

theorem provingpropositional modal logicsautomated decuctionfree-variable tableaux

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items

Liberalized variable splitting, Unnamed Item, A general tableau method for propositional interval temporal logics: theory and implementation, A general proof certification framework for modal logic, 2005 Annual Conference of the Australasian Association for Logic

Uses Software

• SETHEO
• leanTAP
• ModLeanTAP