On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing

DOI10.1007/978-3-642-23217-6_5zbMath1343.03011OpenAlexW1610301318MaRDI QIDQ3090822

Paritosh K. Pandya, Simoni S. Shah

Publication date: 2 September 2011

Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23217-6_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Linear Time Monitoring for One Variable TPTL ⋮ Unnamed Item ⋮ Metric Temporal Logic with Counting ⋮ Unnamed Item ⋮ On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing

Uses Software

• TTL

Cites Work

• Unnamed Item
• Real-time logics: Complexity and expressiveness
• Definability with bounded number of bound variables
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• First-order logic with two variables and unary temporal logic
• On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing
• On Expressiveness and Complexity in Real-Time Model Checking
• Some Recent Results in Metric Temporal Logic
• Rankers over Infinite Words
• Unambiguity in Timed Regular Languages: Automata and Logics
• A really temporal logic
• The benefits of relaxing punctuality
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science