Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters

DOI10.1007/S11229-011-9944-2zbMath1279.03009OpenAlexW2133815931WikidataQ57633395 ScholiaQ57633395MaRDI QIDQ395577

Thomas Ploug, Peter Øhrstrøm

Publication date: 29 January 2014

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9944-2

zbMATH Keywords

special relativitytense logicbranching timeindeterminismA. N. Priorfree choiceSaul Kripke

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Temporal logic (03B44)

Related Items (9)

Time and determinism ⋮ Transition semantics for branching time ⋮ Branching in the landscape of possibilities ⋮ A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom ⋮ BH-CIFOL: case-intensional first order logic. II: Branching histories ⋮ Prior's paradigm for the study of time and its methodological motivation ⋮ Partial and paraconsistent approaches to future contingents in tense logic ⋮ Prior's Grappling with Peirce's Existential Graphs ⋮ Defining a relativity-proof notion of the present via spatio-temporal indeterminism

Cites Work

• Temporal logic. From ancient ideas to artificial intelligence
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters