Actualism, serious actualism, and quantified modal logic
From MaRDI portal
Publication:1750301
DOI10.1215/00294527-2017-0022zbMath1403.03031OpenAlexW2768188476MaRDI QIDQ1750301
Publication date: 18 May 2018
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2017-0022
quantified modal logicpredicate abstractionactualismmetaphysicsuniform substitutionserious actualismtableau proof system
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the logic of demonstratives
- Some theorems on the expressive limitations of modal languages
- Axioms for actuality
- On modal logics which enrich first-order S5
- First-order modal logic with an `actually' operator
- De re and de dicto
- Model theory for modal logic. III. Existence and predication
- The true modal logic
- Contingent identity
- Types, tableaus, and Gödel's God
- Ontology-free modal semantics
- A free logic with simple and complex predicates
- First-order modal logic
- Investigations into quantified modal logic
- COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY
- Free Logic
- Modal Logic as Metaphysics