Tableau reductions: towards an optimal decision procedure for the modal necessity

DOI10.1016/j.jal.2015.09.005zbMath1436.03132OpenAlexW1639560892MaRDI QIDQ313007

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

Publication date: 9 September 2016

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

Full work available at URL: https://doi.org/10.1016/j.jal.2015.09.005

zbMATH Keywords

modal logicstableau methodsdecision proceduresglobal assumptions problemprefixed tableau systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• Clausal Tableaux for Multimodal Logics of Belief

This page was built for publication: Tableau reductions: towards an optimal decision procedure for the modal necessity