A duration calculus with infinite intervals

DOI10.1007/3-540-60249-6_39MaRDI QIDQ5055877zbMATH OpenOpenAlexFDO

Authors Chaochen Zhou, Dang Van Hung, Xiaoshan Li

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60249-6_39

Mathematics Subject Classification ID

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

Recommendations

• A calculus of durations
• scientific article; zbMATH DE number 1543326
• Duration calculus: Logical foundations
• scientific article; zbMATH DE number 512949
• A duration calculus with neighborhood modalities.

Cites work

• A calculus of durations
• A duration calculus with infinite intervals
• A Modal Logic for Chopping Intervals
• Finite divergence
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 512815 (Why is no real title available?)
• Mathematics and Logic
• Model-checking discrete duration calculus
• Probabilistic duration calculus for continuous time

Cited in

(7)

• Expressive completeness of duration calculus.
• Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
• A duration calculus with infinite intervals
• Tense calculus and its refinement without
• An adequate first order interval logic
• Compositional reasoning using the assumption-commitment paradigm
• Algebraic neighbourhood logic

This page was built for publication: A duration calculus with infinite intervals

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