Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
From MaRDI portal
Publication:386620
DOI10.1016/j.apal.2013.06.003zbMath1317.03017OpenAlexW1991582431MaRDI 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
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
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
