The Expressive Power of Temporal and First-Order Metric Logics

DOI10.1007/978-3-030-48006-6_16OpenAlexW3026689988MaRDI QIDQ5049053

Alexander Rabinovich

Publication date: 9 November 2022

Published in: Fields of Logic and Computation III (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-48006-6_16

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complexity of metric temporal logics with counting and the Pnueli modalities
• Decidable metric logics
• The decision problem for linear temporal logic
• Models for reactivity
• Time-Bounded Verification
• The benefits of relaxing punctuality
• Expressive Completeness for Metric Temporal Logic
• Expressiveness of Metric modalities for continuous time
• A Proof of Kamp's theorem

This page was built for publication: The Expressive Power of Temporal and First-Order Metric Logics