Completeness of temporal logics over infinite intervals.
From MaRDI portal
Publication:1421487
DOI10.1016/S0166-218X(03)00201-4zbMath1040.03012MaRDI QIDQ1421487
Publication date: 26 January 2004
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0166-218x(03)00201-4
03B44: Temporal logic
Related Items
Algebraic neighbourhood logic, A decision procedure for propositional projection temporal logic with infinite models, A duration calculus with neighborhood modalities, Symbolic Model Checking for Alternating Projection Temporal Logic, Complexity of propositional projection temporal logic with star
Cites Work