Abstract
We show that neither the descending chain property nor the finite model property is a necessary condition for a model logic having no minimal proper extension. This answers in the negative two questions raised by G. E. Hughes.
Similar content being viewed by others
References
G. E. Hughes, Modal systems with no minimal proper extensions, Reports on Mathematical Logic 6 (1976), pp. 93–98.
E. J. Lemmon and D. Scott, Intensional Logic. Preliminary draft of initial chapters by E. J. Lemmon, mimeographed, July 1966.
D. Makinson, A normal modal calculus between T and S4 without the finite model property, Journal of Symbolic Logic 34 (1969), pp. 35–38.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schumm, G.F. Modal logics with no minimal proper extensions. Stud Logica 38, 233–235 (1979). https://doi.org/10.1007/BF00405381
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00405381