The following pages link to Decidable metric logics (Q999264):
Displaying 13 items.
- Metric temporal logic revisited (Q266865) (← links)
- Continuous time temporal logic with counting (Q418179) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119) (← links)
- The decision problem for linear temporal logic (Q1062669) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Finite variability interpretation of monadic logic of order (Q1606122) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- Metric temporal reasoning with less than two clocks (Q2901203) (← links)
- (Q3126163) (← links)
- On the decidability of continuous time specification formalisms (Q4221299) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)