CIFOL: case-intensional first order logic. I: Toward a theory of sorts
From MaRDI portal
Publication:484112
DOI10.1007/s10992-012-9267-xzbMath1325.03016OpenAlexW3083336664MaRDI QIDQ484112
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-012-9267-x
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 ⋮ BH-CIFOL: case-intensional first order logic. II: Branching histories ⋮ Worlds, times and selves revisited ⋮ Monotonic and non-monotonic embeddings of Anselm's proof
Cites Work
- BH-CIFOL: case-intensional first order logic. II: Branching histories
- First-order intensional logic
- Unifying quantified modal logic
- Contingent identity
- The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based
- Classes and change
- A completeness theorem in modal logic
- Substance and first-order quantification over individual-concepts
- The identity of individuals in a strict functional calculus of second order
- Indeterminist time and truth‐value gaps1
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: CIFOL: case-intensional first order logic. I: Toward a theory of sorts
