Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
type: Item
instance of: scholarly article
title: Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
zbMATH Open document ID: 1279.03009
author: Thomas Ploug
author: Peter Øhrstrøm
published in: Synthese
publication date: 2014-01-29T00:00:00Z
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6251925
zbMATH Keywords: branching time
zbMATH Keywords: indeterminism
zbMATH Keywords: tense logic
zbMATH Keywords: free choice
zbMATH Keywords: special relativity
zbMATH Keywords: Saul Kripke
zbMATH Keywords: A. N. Prior
Wikidata QID: Q57633395
MaRDI profile type: Publication
full work available at URL: s11229-011-9944-2
OpenAlex ID: W2133815931
cites work: Q4388803
cites work: Temporal logic. From ancient ideas to artificial intelligence
cites work: Q3246315
cites work: Q5556395
DOI: 10.1007/S11229-011-9944-2
DBLP publication ID: journals/synthese/PlougO12
description: scientific article; zbMATH DE number 6251925