A general tableau method for propositional interval temporal logics: theory and implementation
From MaRDI portal
Publication:2506829
DOI10.1016/j.jal.2005.06.012zbMath1104.03010OpenAlexW2123194086MaRDI QIDQ2506829
Guido Sciavicco, Angelo Montanari, Pietro Sala, Valentin F. Goranko
Publication date: 10 October 2006
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2005.06.012
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (10)
Back from the future ⋮ A History of Until ⋮ An optimal decision procedure for right propositional neighborhood logic ⋮ An event-based fragment of first-order logic over intervals ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders ⋮ Algebraic neighbourhood logic ⋮ Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ Computational complexity of hybrid interval temporal logics
Uses Software
Cites Work
- Maintaining knowledge about temporal intervals
- Modal tableau calculi and interpolation
- Proof methods for modal and intuitionistic logics
- A calculus of durations
- Multi-dimensional modal logic
- Temporalising tableaux
- Decision procedures and expressiveness in the temporal logic of branching time
- The complexity of propositional linear temporal logics
- A Modal Logic for Chopping Intervals
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
- A propositional modal logic of time intervals
- Propositional temporal logics: decidability and completeness
- A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
- A mixed decision method for duration calculus
- Automated Reasoning with Analytic Tableaux and Related Methods
- Automated Reasoning with Analytic Tableaux and Related Methods
- Back and forth between guarded and modal logics
- A Road Map of Interval Temporal Logics and Duration Calculi
- Free-variable tableaux for propositional modal logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A general tableau method for propositional interval temporal logics: theory and implementation
