scientific article; zbMATH DE number 1927553

zbMATH Open1012.03027MaRDI QIDQ4484477FDOQ4484477

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (11)

• Asymptotic behaviour in temporal logic
• Title not available (Why is that?)
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
• The Expressive Power of Temporal and First-Order Metric Logics
• Future temporal logic needs infinitely many modalities
• Limiting Until in ordered tree query languages
• On the expressiveness of temporal logic programming
• Logical foundations for more expressive declarative temporal logic programming languages
• The Expressive Power of Temporal Logic of Actions
• Arity hierarchy for temporal logics
• Title not available (Why is that?)

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)