scientific article; zbMATH DE number 512815

zbMath0811.68115MaRDI QIDQ4281508

Chaochen Zhou, Michael R. Hansen, Peter Sestoft

Publication date: 10 March 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

duration calculustemporal logic

Mathematics Subject Classification ID

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

Related Items

Model-checking discrete duration calculus ⋮ A duration calculus with infinite intervals ⋮ Checking Integral Real-Time Automata for Extended Linear Duration Invariants ⋮ Duration calculus: Logical foundations ⋮ Bounded variability of metric temporal logic ⋮ Non-elementary lower bound for Propositional Duration Calculus ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Model checking duration calculus: a practical approach ⋮ Interval logics and their decision procedures. II: A real-time interval logic ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ A practical approach to model checking duration calculus using Presburger arithmetic ⋮ Monotonic hybrid systems ⋮ On the completeness and decidability of duration calculus with iteration ⋮ A real-time interval logic and its decision procedure ⋮ Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings ⋮ Robust safety of timed automata ⋮ Decidability of mean value calculus ⋮ Prefix and Projection onto State in Duration Calculus ⋮ Interval Duration Logic ⋮ Expressive completeness of duration calculus. ⋮ Decidability of a Hybrid Duration Calculus ⋮ Finite variability interpretation of monadic logic of order