Modeling unicorns and dead cats: applying Bressan's ML^ to the necessary properties of non-existent objects
DOI10.1007/S10992-016-9418-6zbMATH Open1436.03060OpenAlexW2613181238MaRDI QIDQ1702980FDOQ1702980
Authors: Tyke Nunez 
Publication date: 1 March 2018
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-016-9418-6
Recommendations
- On properties of theories which preclude the existence of universal models
- Model existence in non-compact modal logic
- On the existence of universal models
- Undefinability of truth and nonstandard models
- The Importance of Nonexistent Objects and of Intensionality in Mathematics†
- Model-theoretic aspects of unification
- Nonstandard models and Kripke's proof of the Gödel theorem
- From probabilities to categorical beliefs: going beyond toy models
- Structural properties, mereology, and modal magic
- Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
intensional logicessential propertiessort\(\mathrm{ML}^\nu\)absolute conceptAldo BressanAnil Guptalogic of common nounsnon-existent objectsprinciple of identityRichard Montaguesortalssubstance sort
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)
Cites Work
- Title not available (Why is that?)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts
- BH-CIFOL: case-intensional first order logic. II: Branching histories
- Title not available (Why is that?)
- Title not available (Why is that?)
- The logic of essence
- Title not available (Why is that?)
- Hyperintensional logic
- On Gupta's book ``The logic of common nouns'
This page was built for publication: Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1702980)
