Actualism, serious actualism, and quantified modal logic

DOI10.1215/00294527-2017-0022zbMath1403.03031OpenAlexW2768188476MaRDI QIDQ1750301

William H. Hanson

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

zbMATH Keywords

quantified modal logicpredicate abstractionactualismmetaphysicsuniform substitutionserious actualismtableau proof system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

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