The following pages link to (Q4388803):
Displayed 9 items.
- The problem of predestination: as a prelude to A. N. Prior's tense logic (Q395573) (← links)
- Arthur Prior and medieval logic (Q395575) (← links)
- Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters (Q395577) (← links)
- A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later (Q395587) (← links)
- What is computation? (Q1293030) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- Defining a relativity-proof notion of the present via spatio-temporal indeterminism (Q2072033) (← links)
- A.N. Prior and ‘The Nature of Logic’ (Q5871285) (← links)