BH-CIFOL: case-intensional first order logic. II: Branching histories

DOI10.1007/S10992-013-9292-4zbMath1325.03017DBLPjournals/jphil/Belnap014OpenAlexW1594812752WikidataQ39285285 ScholiaQ39285285MaRDI QIDQ484180

Thomas Müller, Nuel D. jun. Belnap

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-013-9292-4

zbMATH Keywords

quantificationmodal logicbranchingidentitytracingindeterminismsortalsubstance

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (6)

Time and determinism ⋮ The reversibility objection against the second law of thermodynamics viewed, and avoided, from a logical point of view ⋮ Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects ⋮ Past, present and future modally introduced ⋮ CIFOL: case-intensional first order logic. I: Toward a theory of sorts ⋮ Monotonic and non-monotonic embeddings of Anselm's proof

Cites Work

• Newtonian determinism to branching space-times indeterminism in two moves
• A future for the thin red line
• Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
• CIFOL: case-intensional first order logic. I: Toward a theory of sorts
• Branching space-time
• Branching-time logic with quantification over branches: The point of view of modal logic
• Indeterminist time and truth‐value gaps¹
• To the memory of Arthur Prior Formal properties of ‘now’
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: BH-CIFOL: case-intensional first order logic. II: Branching histories