Some theorems on the expressive limitations of modal languages

DOI10.1007/BF00297574zbMath0538.03014OpenAlexW2033774694MaRDI QIDQ792997

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/bf00297574

zbMATH Keywords

modal logicnecessityS5Henkin constructionmodal models

Mathematics Subject Classification ID

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

Related Items (13)

Construction of Truth Predicates: Approximation Versus Revision ⋮ 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 ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ INDISPENSABILITY ARGUMENTS AND INSTRUMENTAL NOMINALISM ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ Actualism, serious actualism, and quantified modal logic ⋮ In the mood ⋮ `Now' and `then' in tense logic ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages ⋮ Still in the mood: the versatility of subjunctive markers in modal logic ⋮ Axioms for actuality

Cites Work

• Expressive completeness in modal language
• Model theory for modal logic. I: The de re / de dicto distinction
• Failures of the interpolation lemma in quantified modal logic

This page was built for publication: Some theorems on the expressive limitations of modal languages