Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
From MaRDI portal
Publication:6488465
DOI10.1007/978-3-030-90870-6_10zbMath1521.0303MaRDI QIDQ6488465
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya, Manuel jun. Mazo
Publication date: 21 April 2023
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Cites Work
- Unnamed Item
- Real-time logics: Complexity and expressiveness
- Complexity of metric temporal logics with counting and the Pnueli modalities
- The compound interest in relaxing punctuality
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing
- On Process-Algebraic Extensions of Metric Temporal Logic
- Expressiveness of Metric Modalities for Continuous Time
- On the Expressiveness of MTL with Past Operators
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
- A really temporal logic
- The benefits of relaxing punctuality
- Making Metric Temporal Logic Rational
- Mathematical Foundations of Computer Science 2003
- An Expressive Temporal Logic for Real Time
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
This page was built for publication: Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
