References
Kit Fine, ‘Model theory for modal logic, Part I’, J. Philosophical Logic 7 (1978), 125–156.
Kit Fine, ‘Model theory for modal logic’, Part III’, J. Philosophical Logic 10 (1981), 293–307.
Allan Hazen, ‘Expressive completeness in modal languages’, J. Philosophical Logic 5 (1976), 25–46.
Harold Hodes, ‘Some theorems on the expressive limitations of modal languages’, J. Philosophical Logic 13 (1984), 13–26.
Harold Hodes, ‘Axioms for actuality’, J. Philosophical Logic 13 (1984), 27–34.
Harold Hodes, ‘An axiomatization of the modal logic for the world traveller: the S5 case’, unpublished.
Harold Hodes, ‘The modal theory of identity’, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, forthcoming.
Hugues Leblanc, Truth-Value Semantics, North-Holland, Amsterdam, New York, Oxford (1976).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hodes, H. On modal logics which enrich first-order S5. J Philos Logic 13, 423–454 (1984). https://doi.org/10.1007/BF00247714
Issue Date:
DOI: https://doi.org/10.1007/BF00247714