Pages that link to "Item:Q965860"

The following pages link to Temporal reference in linear tense logic (Q965860):

Displaying 3 items.

• Axiomatising the Prior future in predicate logic (Q1945707) (← links)
• Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
• From \textit{counterfactual} conditionals to \textit{temporal} conditionals (Q6053839) (← links)