Pages that link to "Item:Q965860"
From MaRDI portal
The following pages link to Temporal reference in linear tense logic (Q965860):
Displaying 8 items.
- Nominal tense logic (Q689193) (← links)
- Times in tense logic (Q1038658) (← links)
- Refining temporal reference in event structures (Q1924330) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
- Time, tense, truth (Q2475299) (← links)
- Linear Tense Logics of Increasing Sets (Q3146302) (← links)
- From \textit{counterfactual} conditionals to \textit{temporal} conditionals (Q6053839) (← links)