scientific article; zbMATH DE number 512815

MaRDI QIDQ4281508zbMATH OpenFDO

Authors Chaochen Zhou, Michael R. Hansen, Peter Sestoft

Publication date 10 March 1994

zbMATH Keywords

temporal logicduration calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• scientific article; zbMATH DE number 1543326
• Model-checking dense-time duration calculus
• scientific article; zbMATH DE number 1500558
• A mixed decision method for duration calculus
• Interval duration logic: expressiveness and decidability

Cited in

(34)

• Expressive completeness of duration calculus.
• A practical approach to model checking duration calculus using Presburger arithmetic
• Robust safety of timed automata
• Decidability of mean value calculus
• Automata for a decidable subset of duration calculus.
• A survey on temporal logics for specifying and verifying real-time systems
• A mixed decision method for duration calculus
• On the completeness and decidability of duration calculus with iteration
• Interval duration logic: expressiveness and decidability
• scientific article; zbMATH DE number 1950253 (Why is no real title available?)
• scientific article; zbMATH DE number 1543326 (Why is no real title available?)
• Non-elementary lower bound for Propositional Duration Calculus
• Axiomatisation and decidability of multi-dimensional Duration Calculus
• Take It NP-Easy: Bounded Model Construction for Duration Calculus
• Duration calculus: Logical foundations
• scientific article; zbMATH DE number 7438568 (Why is no real title available?)
• A Theory of Duration Calculus with Application
• Model checking duration calculus: a practical approach
• Monotonic hybrid systems
• Decidability of a hybrid duration calculus
• Model-checking dense-time duration calculus
• Prefix and projection onto state in duration calculus
• A duration calculus with infinite intervals
• Model-checking discrete duration calculus
• Sharpening the incompleteness of the duration calculus
• A decision procedure and complete axiomatization for projection temporal logic
• Checking integral real-time automata for extended linear duration invariants
• Bounded variability of metric temporal logic
• Undecidability over Continuous Time
• Deciding an Interval Logic with Accumulated Durations
• Complete and terminating tableau for the logic of proper subinterval structures over dense orderings
• Finite variability interpretation of monadic logic of order
• Interval logics and their decision procedures. II: A real-time interval logic
• A real-time interval logic and its decision procedure

This page was built for publication:

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