An adequate first order interval logic

DOI10.1007/3-540-49213-5_23MaRDI QIDQ7010059zbMATH OpenFDO

Authors Chaochen Zhou, Michael R. Hansen

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_23

Mathematics Subject Classification ID

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

Cites work

• A calculus of durations
• A duration calculus with infinite intervals
• A Modal Logic for Chopping Intervals
• Duration calculus: Logical foundations
• Expressiveness and completeness of an interval tense logic
• Finite divergence
• scientific article; zbMATH DE number 3848604 (Why is no real title available?)
• Hybrid systems
• Towards a general theory of action and time

Cited in

(2)

• Interval temporal logic HS with path quantifiers
• Applications of discrete-time interval-based temporal separation

This page was built for publication: An adequate first order interval logic

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