Pages that link to "Item:Q5310679"
From MaRDI portal
The following pages link to Expressiveness of Metric modalities for continuous time (Q5310679):
Displaying 12 items.
- Metric temporal logic revisited (Q266865) (← links)
- Continuous time temporal logic with counting (Q418179) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119) (← links)
- Decidable metric logics (Q999264) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Metric temporal reasoning with less than two clocks (Q2901203) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities (Q3543292) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)
- (Q5091278) (← links)
- (Q5376664) (← links)
