Axioms for actuality

DOI10.1007/BF00297575zbMath0538.03015OpenAlexW2001088407WikidataQ114694740 ScholiaQ114694740MaRDI QIDQ792998

Harold T. Hodes

Publication date: 1984

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00297575

zbMATH Keywords

modal logicnecessityS5Henkin constructionmodel-theoretic semanticsactuality operatormodal models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (18)

COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY ⋮ On the Expressivity of First-Order Modal Logic with “Actually” ⋮ The problem of cross-world predication ⋮ STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ Actualism, serious actualism, and quantified modal logic ⋮ Where do the natural numbers come from? ⋮ RELATIVE-SAMENESS COUNTERPART THEORY ⋮ Completeness and decidability results for some propositional modal logics containing ``actually operators ⋮ `Now' and `then' in tense logic ⋮ Indexed actuality ⋮ Plantinga’s Haecceitism and Simple Quantified Modal Logic ⋮ Worlds and times ⋮ Actuality, tableaux, and two-dimensional modal logics ⋮ Meaning in Use ⋮ The logic of counterpart theory with actuality ⋮ Modal Platonism: an easy way to avoid ontologial commitment to abstract entities ⋮ First-order modal logic with an `actually' operator

Cites Work

• Some theorems on the expressive limitations of modal languages
• To the memory of Arthur Prior Formal properties of ‘now’

This page was built for publication: Axioms for actuality