On modal logics which enrich first-order S5

Journal of Philosophical Logic 13 (4):423 - 454 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00247714

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Decidable fragments of first-order modal logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Theory matrices (for modal logics) using alphabetical monotonicity.Ian P. Gent - 1993 - Studia Logica 52 (2):233 - 257.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.

Analytics

Added to PP
2009-01-28

Downloads
342 (#59,130)

6 months
116 (#35,203)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Harold Hodes
Cornell University

Citations of this work

The potential hierarchy of sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.
Counting Incompossibles.Peter Fritz & Jeremy Goodman - 2017 - Mind 126 (504):1063–1108.
In Defense of the Possibilism–Actualism Distinction.Christopher Menzel - 2020 - Philosophical Studies 177 (7):1971-1997.
Of Numbers and Electrons.Cian Dorr - 2010 - Proceedings of the Aristotelian Society 110 (2pt2):133-181.

View all 31 citations / Add more citations

References found in this work

Expressive completeness in modal language.Allen Hazen - 1976 - Journal of Philosophical Logic 5 (1):25--46.
Some theorems on the expressive limitations of modal languages.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):13 - 26.
Axioms for actuality.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):27 - 34.
Model Theory for Modal Logic. Part I--the de Re/De Dicto Distinction.Kit Fine - 1985 - Journal of Symbolic Logic 50 (4):1083-1093.

Add more references