BH-CIFOL: case-intensional first order logic. II: Branching histories
type: Item
instance of: scholarly article
title: BH-CIFOL: case-intensional first order logic. II: Branching histories
zbMATH Open document ID: 1325.03017
author: Thomas Müller
author: Nuel D. jun. Belnap
published in: Journal of Philosophical Logic
publication date: 2014-12-18T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6381551
zbMATH Keywords: modal logic
zbMATH Keywords: quantification
zbMATH Keywords: sortal
zbMATH Keywords: tracing
zbMATH Keywords: substance
zbMATH Keywords: identity
zbMATH Keywords: indeterminism
zbMATH Keywords: branching
MaRDI profile type: Publication
Wikidata QID: Q39285285
full work available at URL: s10992-013-9292-4
OpenAlex ID: W1594812752
cites work: Branching space-time
cites work: Q4430392
cites work: Newtonian determinism to branching space-times indeterminism in two moves
cites work: CIFOL: case-intensional first order logic. I: Toward a theory of sorts
cites work: Q5668436
cites work: Q3309807
cites work: To the memory of Arthur Prior Formal properties of ‘now’
cites work: A future for the thin red line
cites work: Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
cites work: Q5556395
cites work: Indeterminist time and truth‐value gaps1
cites work: Q4342095
cites work: Branching-time logic with quantification over branches: The point of view of modal logic
DBLP publication ID: journals/jphil/Belnap014
DOI: 10.1007/S10992-013-9292-4
description: scientific article; zbMATH DE number 6381551