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

DOI10.1016/J.IPL.2024.106480MaRDI QIDQ6551701zbMATH OpenFDO

Authors Dimitar P. Guelev, Ben Moszkowski

Publication date 7 June 2024

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

Full work available at URL https://doi.org/10.1016/J.IPL.2024.106480

zbMATH Keywords

expanding modalitiesexpressive completenessGabbay separationinterval temporal logictheory of computation

Mathematics Subject Classification ID

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

Cites work

• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• A Modal Logic for Chopping Intervals
• A Road Map of Interval Temporal Logics and Duration Calculi
• A separation theorem for discrete-time interval temporal logic
• An application of temporal projection to interleaving concurrency
• Derivatives of Regular Expressions
• Duration calculus. A formal approach to real-time systems.
• scientific article; zbMATH DE number 1670826 (Why is no real title available?)
• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 6131597 (Why is no real title available?)
• scientific article; zbMATH DE number 1424033 (Why is no real title available?)
• scientific article; zbMATH DE number 3189697 (Why is no real title available?)
• Maintaining knowledge about temporal intervals

Cited in

(1)

• Applications of discrete-time interval-based temporal separation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6551701)