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

DOI10.1016/j.apal.2013.06.003zbMath1317.03017MaRDI QIDQ386620

Emilio Muñoz-Velasco, Joanna Golińska-Pilarek, Taneli Huuskonen

Publication date: 10 December 2013

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

Full work available at URL: https://doi.org/10.1016/j.apal.2013.06.003

zbMATH Keywords

modal logics; nonclassical logic; decision procedures; dual tableaux; intuitionistic logics; relational logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B25: Decidability of theories and sets of sentences

03F03: Proof theory in general (including proof-theoretic semantics)

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

Tableau reductions: towards an optimal decision procedure for the modal necessity, Rasiowa-Sikorski deduction systems with the rule of cut: a case study

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dual tableau for monoidal triangular norm logic MTL
• Dual tableaux. Foundations, methodology, case studies
• Tableaux and dual tableaux: transformation of proofs
• Rasiowa-Sikorski deduction systems in computer science applications.
• On representable relation algebras
• Dual tableau-based decision procedures for relational logics with restricted composition operator
• A new deduction system for deciding validity in modal logic K
• Implementing a relational theorem prover for modal logic
• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• A decompositional deduction system for a logic featuring inconsistency and uncertainty
• Relational dual tableaux for interval temporal logics ★
• An efficient relational deductive system for propositional non-classical logics
• Relational dual tableau decision procedure for modal logic K
• Relational Approach to Order-of-Magnitude Reasoning