Decidable metric logics

DOI10.1016/j.ic.2008.08.004zbMath1156.03019OpenAlexW2081717781MaRDI QIDQ999264

Alex Rabinovich, Joram Hirschfeld

Publication date: 3 February 2009

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

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

zbMATH Keywords

decidabilitytemporal logicsatisfiabilitycontinuous timefragment of second-order monadic logic of orderPnueli modalities

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (2)

The Expressive Power of Temporal and First-Order Metric Logics ⋮ Continuous time temporal logic with counting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Real-time logics: Complexity and expressiveness
• The decision problem for linear temporal logic
• The monadic theory of order
• Models for reactivity
• 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
• On the decidability of continuous time specification formalisms
• The benefits of relaxing punctuality
• Expressiveness of Metric modalities for continuous time

This page was built for publication: Decidable metric logics