A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
From MaRDI portal
Publication:4461930
DOI10.1093/logcom/13.2.195zbMath1050.03012OpenAlexW2154503781MaRDI QIDQ4461930
Publication date: 18 May 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/13.2.195
normal formtableauprojection operatorinterval temporal logiccomplete axiomatizationdecision procedurechop operator
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (26)
Back from the future ⋮ A History of Until ⋮ A separation theorem for discrete-time interval temporal logic ⋮ An optimal decision procedure for right propositional neighborhood logic ⋮ A complete proof system for propositional projection temporal logic ⋮ Efficient decision procedure for propositional projection temporal logic ⋮ A sound and complete proof system for a unified temporal logic ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Temporal prepositions and their logic ⋮ Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ Compositional reasoning using intervals and time reversal ⋮ A decision procedure for propositional projection temporal logic with infinite models ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Complexity of propositional projection temporal logic with star ⋮ A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time ⋮ PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic ⋮ A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus ⋮ Logical Interpolation and Projection onto State in the Duration Calculus ⋮ Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings ⋮ Relational dual tableaux for interval temporal logics ★ ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi
This page was built for publication: A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection