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

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

Authors: Joanna Golińska-Pilarek, Emilio Muñoz-Velasco, Angel 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

Recommendations

• Relational dual tableau decision procedure for modal logic K
• TABLEAUX: A general theorem prover for modal logics
• Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
• scientific article; zbMATH DE number 1418348
• Strongly analytic tableaux for normal modal logics

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

• Handbook of modal logic
• 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
• Title not available (Why is that?)
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation

Cited In (3)

• Title not available (Why is that?)
• A new deduction system for deciding validity in modal logic K
• Relational dual tableau decision procedure for modal logic K

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)