scientific article; zbMATH DE number 1927553

MaRDI QIDQ4484477zbMATH OpenFDO

Authors Alexander Rabinovich

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210057.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1499093
• On the expressiveness of temporal logic programming
• Timed temporal logics
• Expressive completeness of temporal logic of trees
• Temporal logic can be more expressive

Cited in

(13)

• Future temporal logic needs infinitely many modalities
• On the expressiveness of temporal logic programming
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
• Logical foundations for more expressive declarative temporal logic programming languages
• scientific article; zbMATH DE number 1222565 (Why is no real title available?)
• scientific article; zbMATH DE number 1301761 (Why is no real title available?)
• scientific article; zbMATH DE number 1304310 (Why is no real title available?)
• scientific article; zbMATH DE number 1499093 (Why is no real title available?)
• Asymptotic behaviour in temporal logic
• The Expressive Power of Temporal Logic of Actions
• The Expressive Power of Temporal and First-Order Metric Logics
• Limiting Until in ordered tree query languages
• Arity hierarchy for temporal logics

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