Some theorems on the expressive limitations of modal languages

DOI10.1007/BF00297574zbMATH Open0538.03014OpenAlexW2033774694MaRDI QIDQ792997FDOQ792997

Authors: 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

Recommendations

• On the expressivity of first-order modal logic with ``actually
• On modal logics which enrich first-order S5
• Higher-order contingentism. III: Expressive limitations
• On the expressive power of first-order modal logic with two-dimensional operators
• Axioms for actuality

zbMATH Keywords

modal logicnecessityS5Henkin constructionmodal models

Mathematics Subject Classification ID

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

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

Cited In (23)

• Modality, invariance, and logical truth
• Axioms for actuality
• Four modal modelings
• The problem of cross-world predication
• Construction of Truth Predicates: Approximation Versus Revision
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• Modal languages and bounded fragments of predicate logic
• Actualism, serious actualism, and quantified modal logic
• Still in the mood: the versatility of subjunctive markers in modal logic
• Ontology-free modal semantics
• On the Expressivity of First-Order Modal Logic with “Actually”
• Varying modal theories
• Not Everything is Possible
• Completeness results for some two-dimensional logics of actuality
• In the mood
• Indispensability arguments and instrumental nominalism
• Quantification over names and modalities
• On the expressive power of first-order modal logic with two-dimensional operators
• `Now' and `then' in tense logic
• Title not available (Why is that?)
• On modal logics which enrich first-order S5
• Axiomatizing relativistic dynamics using formal thought experiments
• Bare possibilia

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q792997)