scientific article; zbMATH DE number 1231602

MaRDI QIDQ4222923zbMATH OpenFDO

Authors Alexander Rabinovich

Publication date 21 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#rabinovich

zbMATH Keywords

first-order monadic logicspecification of real-time systems

Mathematics Subject Classification ID

Classical propositional logic (03B05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Expressive completeness of duration calculus.
• scientific article; zbMATH DE number 1501613
• Duration calculus: Logical foundations
• Metric temporal logic with durations
• scientific article; zbMATH DE number 512815

Cited in

(8)

• Non-elementary lower bound for Propositional Duration Calculus
• Decidability of mean value calculus
• Star free expressions over the reals
• Expressive completeness of duration calculus.
• scientific article; zbMATH DE number 1302029 (Why is no real title available?)
• scientific article; zbMATH DE number 1501613 (Why is no real title available?)
• Chop expressions and discrete duration calculus
• Some extensions to propositional mean-value calculus: expressiveness and decidability

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