Pages that link to "Item:Q2958534"
From MaRDI portal
The following pages link to When is metric temporal logic expressively complete? (Q2958534):
Displaying 8 items.
- Metric Temporal Logic with Counting (Q2811351) (← links)
- Expressive completeness for LTL with modulo counting and group quantifiers (Q2825418) (← links)
- (Q5009457) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- Expressive Completeness for Metric Temporal Logic (Q5271072) (← links)
- (Q5376664) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)