Pages that link to "Item:Q1148309"
From MaRDI portal
The following pages link to Axioms for tense logic. II: Time periods (Q1148309):
Displaying 5 items.
- The power of temporal proofs (Q1118578) (← links)
- Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies (Q1414569) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)