Relational dual tableaux for interval temporal logics ★

DOI10.3166/jancl.16.251-277zbMath1186.03035OpenAlexW2072986592MaRDI QIDQ3647240

Ewa S. Orłowska, Davide Bresolin, Joanna Golińska-Pilarek

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.16.251-277

zbMATH Keywords

proof systemsinterval temporal logicsrelational logicsdual tableau systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (3)

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics ⋮ Implementing a relational theorem prover for modal logic ⋮ Computational complexity of hybrid interval temporal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Interval logics and their decision procedures. I: An interval logic
• Correspondence results for relational proof systems with application to the Lambek calculus
• Expressiveness and completeness of an interval tense logic
• A Modal Logic for Chopping Intervals
• A propositional modal logic of time intervals
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• Relational Logics and Their Applications

This page was built for publication: Relational dual tableaux for interval temporal logics ★