A new deduction system for deciding validity in modal logic K

DOI10.1093/jigpal/jzq033zbMath1252.03027OpenAlexW2133922504MaRDI QIDQ3000420

Emilio Muñoz-Velasco, Joanna Golińska-Pilarek, Ángel Mora

Publication date: 18 May 2011

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzq033

zbMATH Keywords

modal logictheorem provingdecision proceduresrelational logicdual tableau methods

Mathematics Subject Classification ID

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

Related Items

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics, Implementing a relational theorem prover for modal logic