Relational dual tableau decision procedure for modal logic K

DOI10.1093/jigpal/jzr019zbMath1264.03041OpenAlexW2059181950MaRDI QIDQ4922857

Joanna Golińska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla

Publication date: 4 June 2013

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

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

zbMATH Keywords

modal logicdecision proceduresrelational proof systemsdual tableau methods

Mathematics Subject Classification ID

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

Related Items (1)

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics

Uses Software

• LoTREC
• TWB

This page was built for publication: Relational dual tableau decision procedure for modal logic K