Pages that link to "Item:Q1780454"
From MaRDI portal
The following pages link to Timer formulas and decidable metric temporal logic (Q1780454):
Displayed 4 items.
- Temporal logics with incommensurable distances are undecidable (Q879597) (← links)
- Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119) (← links)
- Decidable metric logics (Q999264) (← links)
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities (Q3543292) (← links)