Expressive completeness by separation for discrete time interval temporal logic with expanding modalities

DOI10.1016/j.ipl.2024.106480MaRDI QIDQ6551701

Dimitar P. Guelev, Ben Moszkowski

Publication date: 7 June 2024

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

expressive completenesstheory of computationinterval temporal logicexpanding modalitiesGabbay separation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Maintaining knowledge about temporal intervals
• Duration calculus. A formal approach to real-time systems.
• An application of temporal projection to interleaving concurrency
• A Modal Logic for Chopping Intervals
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• A separation theorem for discrete-time interval temporal logic
• Derivatives of Regular Expressions
• A Road Map of Interval Temporal Logics and Duration Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Expressive completeness by separation for discrete time interval temporal logic with expanding modalities