Continuous time temporal logic with counting

DOI10.1016/j.ic.2011.11.003zbMath1242.03044OpenAlexW1993445249MaRDI QIDQ418179

Alexander Rabinovich, Joram Hirschfeld

Publication date: 24 May 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.11.003

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (2)

Bounded variability of metric temporal logic ⋮ An SMT-based approach to satisfiability checking of MITL

Cites Work

• Algorithmic uses of the Feferman-Vaught theorem
• Complexity of metric temporal logics with counting and the Pnueli modalities
• Decidable metric logics
• The monadic theory of order
• Timer formulas and decidable metric temporal logic
• The first order properties of products of algebraic systems
• An application of games to the completeness problem for formalized theories
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• The benefits of relaxing punctuality
• Expressiveness of Metric modalities for continuous time
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Continuous time temporal logic with counting