Pages that link to "Item:Q2555065"
From MaRDI portal
The following pages link to Tense systems with discrete moments of time. I (Q2555065):
Displaying 5 items.
- The d-logic of the rational numbers: a fruitful construction (Q633161) (← links)
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)