First-Order Modal Theories I--Sets
From MaRDI portal
Publication:5275699
Cited in
(8)- Modal logic and model theory
- Explanatory asymmetries, ground, and ontological dependence
- Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation
- Extensionalizing intensional second-order logic
- On adopting Kripke semantics in set theory
- The iterative conception of set. A (bi-)modal axiomatisation
- CAN MODALITIES SAVE NAIVE SET THEORY?
- A taxonomy for set-theoretic potentialism
This page was built for publication: First-Order Modal Theories I--Sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5275699)