A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
From MaRDI portal
Publication:4461930
DOI10.1093/logcom/13.2.195zbMath1050.03012MaRDI 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 form; tableau; projection operator; interval temporal logic; complete axiomatization; decision procedure; chop operator
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
03B44: Temporal logic
Related Items
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings, A separation theorem for discrete-time interval temporal logic, A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, A complete proof system for propositional projection temporal logic, An optimal decision procedure for right propositional neighborhood logic, Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives, Which fragments of the interval temporal logic HS are tractable in model checking?, Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy, A decision procedure and complete axiomatization for projection temporal logic, Efficient decision procedure for propositional projection temporal logic, A sound and complete proof system for a unified temporal logic, Compositional reasoning using intervals and time reversal, Temporal prepositions and their logic, A decision procedure for propositional projection temporal logic with infinite models, A general tableau method for propositional interval temporal logics: theory and implementation, Back from the future, Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders, A History of Until, Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders, 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, Relational dual tableaux for interval temporal logics ★
