CIFOL: case-intensional first order logic. I: Toward a theory of sorts

DOI10.1007/S10992-012-9267-XMaRDI QIDQ484112zbMATH OpenOpenAlexFDO

Authors Thomas Müller, Nuel D. jun. Belnap

Publication date 18 December 2014

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10992-012-9267-x

zbMATH Keywords

quantificationmodal logictracingsortalsubstance

Mathematics Subject Classification ID

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

Recommendations

• BH-CIFOL: case-intensional first order logic. II: Branching histories
• scientific article; zbMATH DE number 6297872
• scientific article; zbMATH DE number 3963803
• scientific article; zbMATH DE number 2070194
• Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
• Towards CERes in intuitionistic logic
• Clausal intuitionistic logic I. fixed-point semantics
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
• First-order logics: some characterizations and closure properties
• Contextual intensional logic: type-theoretic and dynamic considerations

Cites work

• scientific article; zbMATH DE number 3125691 (Why is no real title available?)
• scientific article; zbMATH DE number 3151566 (Why is no real title available?)
• scientific article; zbMATH DE number 3837992 (Why is no real title available?)
• scientific article; zbMATH DE number 43055 (Why is no real title available?)
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 6297872 (Why is no real title available?)
• scientific article; zbMATH DE number 3300574 (Why is no real title available?)
• scientific article; zbMATH DE number 3402572 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• A completeness theorem in modal logic
• BH-CIFOL: case-intensional first order logic. II: Branching histories
• Classes and change
• Contingent identity
• First-order intensional logic
• Indeterminist time and truth‐value gaps¹
• Substance and first-order quantification over individual-concepts
• The identity of individuals in a strict functional calculus of second order
• 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
• Unifying quantified modal logic

Cited in

(6)

• Worlds, times and selves revisited
• The reversibility objection against the second law of thermodynamics viewed, and avoided, from a logical point of view
• BH-CIFOL: case-intensional first order logic. II: Branching histories
• Monotonic and non-monotonic embeddings of Anselm's proof
• Time and determinism
• Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects

This page was built for publication: CIFOL: case-intensional first order logic. I: Toward a theory of sorts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q484112)