Mathematical modality: an investigation in higher-order logic
From MaRDI portal
Publication:6191140
DOI10.1007/s10992-023-09728-1OpenAlexW4389094105MaRDI QIDQ6191140
Publication date: 9 February 2024
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-023-09728-1
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The iterative conception of set. A (bi-)modal axiomatisation
- Structural connections between a forcing class and its modal logic
- Higher-order contingentism. II: Patterns of indistinguishability
- Intensional mathematics
- What's so logical about the logical axioms?
- From worlds to possibilities
- Properties, propositions and sets
- The broadest necessity
- Higher-order contingentism. III: Expressive limitations
- A revenge-immune solution to the semantic paradoxes
- A metasemantic challenge for mathematical determinacy
- Arithmetic is determinate
- A theory of necessities
- Can all things be counted?
- Varieties of indefinite extensibility
- Naive infinitism: the case for an inconsistency approach to infinite collections
- Higher-order contingentism. I: Closure and generation
- THE SET-THEORETIC MULTIVERSE
- A simple maximality principle
- Modality and quantification in S5
- An ascending chain of S4 logics
- Vagueness and Thought
- THE POTENTIAL HIERARCHY OF SETS
- The Bounds of Possibility
- THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
- Possible Worlds
- Modal Logic as Metaphysics
- Propositions and counterpart theory
- Extensions of the Lewis system S5
This page was built for publication: Mathematical modality: an investigation in higher-order logic