Relational dual tableaux for interval temporal logics

DOI10.3166/JANCL.16.251-277MaRDI QIDQ3647240zbMATH OpenOpenAlexFDO

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

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

dual tableau systemsinterval temporal logicsproof systemsrelational logics

Mathematics Subject Classification ID

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

Recommendations

• A general tableau method for propositional interval temporal logics
• A general tableau method for propositional interval temporal logics: theory and implementation
• A Road Map of Interval Temporal Logics and Duration Calculi
• scientific article; zbMATH DE number 6131597
• A New Modal Approach to the Logic of Intervals

Cites work

• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• A Modal Logic for Chopping Intervals
• A propositional modal logic of time intervals
• Correspondence results for relational proof systems with application to the Lambek calculus
• Expressiveness and completeness of an interval tense logic
• scientific article; zbMATH DE number 4134011 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Interval logics and their decision procedures. I: An interval logic
• Maintaining knowledge about temporal intervals
• Relational Logics and Their Applications

Cited in

(12)

• Computational complexity of hybrid interval temporal logics
• A general tableau method for propositional interval temporal logics: theory and implementation
• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
• Implementing a relational theorem prover for modal logic K
• scientific article; zbMATH DE number 1189099 (Why is no real title available?)
• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
• scientific article; zbMATH DE number 4121966 (Why is no real title available?)
• A general tableau method for propositional interval temporal logics
• Tableau Development for a Bi-intuitionistic Tense Logic
• Reasoning on relations, modalities, and sets
• Signed dual tableaux for Kleene answer set programs
• Reasoning about reversal-bounded counter machines

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

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