Pages that link to "Item:Q3146305"
From MaRDI portal
The following pages link to Extending Kamp's Theorem to Model Time Granularity (Q3146305):
Displaying 4 items.
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- Definability and decidability of binary predicates for time granularity (Q2495389) (← links)
- On Hamblin's 15 Tense Theorem (Q2901190) (← links)
- On the relationships between theories of time granularity and the monadic second-order theory of one successor (Q3647247) (← links)