BH-CIFOL: case-intensional first order logic. II: Branching histories
From MaRDI portal
Publication:484180
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
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 gaps1
- 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