Abstract
Predicate extensions of the intermediate logic of the weak excluded middle and of the modal logic S4.2 are introduced and investigated. In particular it is shown that some of them are characterized by subclasses of the class of directed frames with either constant or nested domains.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Corsi, G.: Quantified modal logic with rigid terms. Z. Math. Logik Grundlagen Math.34, 251–259 (1988)
Corsi, G.: A logic characterized by the class of connected models with nested domains. Stud. Logica48, (to appear) (1989)
Gabbay, D.: Applications of trees to intermediate logics. J. Symb. Logic37, 135–138 (1972)
Ghilardi, S.: Presheaf semantics and independence results for some non-classical first order logics. Arch. Math. Logic29 (1990)
Ghilardi, S.: Incompleteness results in Kripke semantics (manuscript, 1989)
Hughes, G., Cresswell, M.: A companion to modal logic. London New York: Methuen 1984
Shehtman, V.B., Skvortsov, D.P.: Semantics for non-classical first order predicate logics. Proceedings of the Summer School and Conference on Mathematical Logic, Chaika (Bulgaria) 13–23 September 1988 (to appear)
Author information
Authors and Affiliations
Additional information
This paper is dedicated to Professor Grigorij E. Mints who has incouraged us to persue this research
Rights and permissions
About this article
Cite this article
Corsi, G., Ghilardi, S. Directed frames. Arch Math Logic 29, 53–67 (1989). https://doi.org/10.1007/BF01630811
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01630811