The identity of individuals in a strict functional calculus of second order

DOI10.2307/2267171zbMath1263.03012OpenAlexW2065559740WikidataQ56227312 ScholiaQ56227312MaRDI QIDQ4919634

Ruth C. Barcan

Publication date: 15 May 2013

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

Full work available at URL: https://doi.org/10.2307/2267171

Mathematics Subject Classification ID

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

Related Items

First-order classical modal logic, A formalisation of referentially opaque contexts, WEAKLY CLASSICAL THEORIES OF IDENTITY, Contingent composition as identity, A situationalist solution to the Ship of Theseus puzzle, The principle of the indiscernibility of identicals requires no restrictions, Quantified temporal alethic-deontic logic, CIFOL: case-intensional first order logic. I: Toward a theory of sorts, On a derivation of the necessity of identity, Modal Objection to Naive Leibnizian Identity, Modalising plurals, Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\), A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers, The fallacies of the new theory of reference