Pages that link to "Item:Q4919634"
From MaRDI portal
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)