Duration calculus: Logical foundations

DOI10.1007/BF01211086zbMath0887.68101OpenAlexW2000916035MaRDI QIDQ1377324

Zhou Chaochen, Michael R. Hansen

Publication date: 7 December 1999

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211086

zbMATH Keywords

duration calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (23)

Simulating polyadic modal logics by monadic ones ⋮ A duration calculus with neighborhood modalities ⋮ Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ Non-elementary lower bound for Propositional Duration Calculus ⋮ A generic logical-temporal performance analysis method for complex systems ⋮ Induction in the timed interval calculus ⋮ Theoretical and practical approaches to the denotational semantics for MDESL based on UTP ⋮ Specification and verification of multimedia synchronization in duration calculus ⋮ Assessing component impairing at mission level ⋮ Guest editors' preface to special issue on interval temporal logics ⋮ Compositional reasoning using intervals and time reversal ⋮ Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders ⋮ Formal Fault Tree Analysis - Practical Experiences ⋮ On the completeness and decidability of duration calculus with iteration ⋮ An intuitive formal proof for deadline driven scheduler ⋮ Axiomatic semantics of projection temporal logic programs ⋮ Logical Interpolation and Projection onto State in the Duration Calculus ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Interval Duration Logic ⋮ PLC-automata: A new class of implementable real-time automata ⋮ Expressive completeness of duration calculus. ⋮ Decidability of a Hybrid Duration Calculus

Cites Work

• Maintaining knowledge about temporal intervals
• Finite divergence
• Sequential calculus
• Specifying message passing and time-critical systems with temporal logic
• Hybrid systems
• Towards a general theory of action and time
• Probabilistic duration calculus for continuous time
• Intervals and tenses
• A calculus of durations
• Interval semantics for tense logic: Some remarks
• Model-checking discrete duration calculus
• Decidable integration graphs.
• Expressiveness and completeness of an interval tense logic
• A Modal Logic for Chopping Intervals
• The benefits of relaxing punctuality
• On the calculus of relations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Duration calculus: Logical foundations