scientific article; zbMATH DE number 512949

MaRDI QIDQ4281664zbMATH OpenFDO

Authors S. M. Brien

Publication date 10 March 1994

zbMATH Keywords

duration calculusreal-time systemsTarski's calculus of relationstemporal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A calculus of durations
• Duration calculus: Logical foundations
• scientific article; zbMATH DE number 1543326
• scientific article; zbMATH DE number 1301632
• A Road Map of Interval Temporal Logics and Duration Calculi

Cited in

(15)

• A calculus of durations
• Basic calculus on time scales and some of its applications
• Induction in the timed interval calculus
• Mathematical analysis of time flow
• Axiomatisation of an interval calculus for theorem proving
• scientific article; zbMATH DE number 6099414 (Why is no real title available?)
• CIRCAL and the representation of communication, concurrency, and time
• scientific article; zbMATH DE number 1301632 (Why is no real title available?)
• scientific article; zbMATH DE number 1444736 (Why is no real title available?)
• A duration calculus with infinite intervals
• An algebraic approach to temporal logic
• Labeled @-Calculus: Formalism for Time-Concerned Human Factors
• Tense calculus and its refinement without
• scientific article; zbMATH DE number 2247701 (Why is no real title available?)
• Sequential calculus

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 Q4281664)