A Complete Proof System for First-order Interval Temporal Logic with Projection
From MaRDI portal
Publication:4820466
DOI10.1093/LOGCOM/14.2.215zbMath1070.03009OpenAlexW1980924813MaRDI QIDQ4820466
Publication date: 15 October 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/14.2.215
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (7)
An application of temporal projection to interleaving concurrency ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ On the completeness and decidability of duration calculus with iteration ⋮ A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus ⋮ Logical Interpolation and Projection onto State in the Duration Calculus ⋮ 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 Complete Proof System for First-order Interval Temporal Logic with Projection
