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

DOI10.1016/J.JAL.2015.09.005zbMATH Open1436.03132OpenAlexW1639560892MaRDI QIDQ313007FDOQ313007

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

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 logicsdecision proceduresglobal assumptions problemprefixed tableau systemstableau methods

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Tableau methods for modal and temporal logics
• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• Clausal Tableaux for Multimodal Logics of Belief
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q313007)