Expressive completeness in modal language

DOI10.1007/BF00263656zbMath0347.02011OpenAlexW1987567030MaRDI QIDQ1233866

Allen P. Hazen

Publication date: 1976

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

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

Mathematics Subject Classification ID

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

Related Items (18)

Actuality in propositional modal logic ⋮ On the Expressivity of First-Order Modal Logic with “Actually” ⋮ THE LOGIC OF SEQUENCE FRAMES ⋮ Modal ontology and generalized quantifiers ⋮ The problem of cross-world predication ⋮ Some limitations to the psychological orientation in semantic theory ⋮ How to Lewis a Kripke-Hintikka ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ Completeness and decidability results for some propositional modal logics containing ``actually operators ⋮ 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 ⋮ The logic of counterpart theory with actuality ⋮ Possible worlds for modal primitivists ⋮ Physicalism, instrumentalism and the semantics of modal logic ⋮ Some theorems on the expressive limitations of modal languages

This page was built for publication: Expressive completeness in modal language