Pages that link to "Item:Q4919634"

The following pages link to The identity of individuals in a strict functional calculus of second order (Q4919634):

Displayed 14 items.

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