Pages that link to "Item:Q516414"
From MaRDI portal
The following pages link to Prior on the semantics of modal and tense logic (Q516414):
Displaying 5 items.
- Prior's defence of Hintikka's theorem. A discussion of Prior's ``The logic of obligation and the obligations of the logician'' (Q395585) (← links)
- Prior, translational semantics, and the Barcan formula (Q516404) (← links)
- The logic of historical necessity as founded on two-dimensional modal tense logic (Q1303792) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’ (Q6650260) (← links)