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

DOI10.1007/S11229-011-9944-2zbMATH Open1279.03009DBLPjournals/synthese/PlougO12OpenAlexW2133815931WikidataQ57633395 ScholiaQ57633395MaRDI QIDQ395577FDOQ395577

Authors: 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

Recommendations

• The interpretation of branching time diagrams
• A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later
• Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts
• Prior's paradigm for the study of time and its methodological motivation
• Publication:4952311

zbMATH Keywords

tense logicspecial relativitybranching timeindeterminismA. N. Priorfree choiceSaul Kripke

Mathematics Subject Classification ID

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

Cites Work

• Temporal logic. From ancient ideas to artificial intelligence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q395577)