Abstract
This paper gives a characterization of those quasi-normal extensions of the modal system S4 into which intuitionistic propositional logic Int is embeddable by the Gödel translation. It is shown that, as in the normal case, the set of quasi-normal modal companions of Int contains the greatest logic, M*, for which, however, the analog of the Blok-Esakia theorem does not hold. M* is proved to be decidable and Halldén-complete; it has the disjunction property but does not have the finite model property.
Similar content being viewed by others
References
S.N. Artemov, 1995, Operational modal logic, Technical Report 95-29, MSI, Cornell University.
W.J. Blok, 1976, Varieties of interior algebras, PhD thesis, University of Amsterdam.
W.J. Blok and P. KÖhler, 1983, Algebraic semantics for quasi-classical modal logics, Journal of Symbolic Logic, 48:941–964.
A.V. Chacrov, 1985, Varieties of logical matrices, Algebra and Logic, 24:278–325.
A.V. Chagrov, 1994, Undecidable properties of superintuitionistic logics, In S.V. Jablonskij, editor, Mathematical Problems of Cybernetics, volume 5, pages 67–108, Physmatlit, Moscow. (Russian).
A.V. Chagrov and M.V. Zakharyaschev, 1992, Modal companions of intermediate propositional logics, Studia Logica, 51:49–82.
L.L. Esakia, 1979, On varieties of Grzegorczyk algebras. In A. I. Mikhailov, editor, Studies in Non-classical Logics and Set Theory, pages 257–287, Moscow, Nauka. (Russian).
L.L. Esakia, 1979, To the theory of modal and superintuitionistic systems, In V.A. Smirnov, editor, Logical Inference. Proceedings of the USSR Symposium on the Theory of Logical Inference, pages 147–172, Nauka, Moscow. (Russian).
K, Fine, 1985, Logics containing K4, part II. Journal of Symbolic Logic, 50:619–651
K. GÖdel, 1933, Eine Interpretation des intuitionistischen Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums, 4:39–40.
R.I. Goldblatt, 1976, Metamathematics of modal logics, Part I, Reports on Mathematical Logic, 6:41–78.
L.L. Maksimova and V.V. Rybakov, 1974, Lattices of modal logics, Algebra and Logic, 13:105–122.
J.C.C. McKinsey and A. Tarski, 1948, Some theorems about the sentential calculi of Lewis and Heyting, Journal of Symbolic Logic, 13:1–15.
P.S. Novikov, 1977, Constructive Mathematical Logic from the Point of View of Classical Logic, Nauka, Moscow. (Russian).
I.E. Orlov, 1928, The calculus of compatibility of propositions, Mathematics of the USSR, Sbornik, 35:263–286. (Russian).
H. Rasiowa and R. Sikorski, 1963, The Mathematics of Metamathematics, Polish Scientific Publishers.
V.V. Rybakov, 1987, The decidability of admissibility of inference rules in the modal system Grz and intuitionistic logic, Mathematics of the USSR, Izvestiya, 28:589–608.
K. Segerberg, 1971, An essay in classical modal logic, Philosophical Studies, Uppsala, 13.
F. Wolter and M. Zakharyaschev, 1996, On the relation between intuitionistic and classical modal logics, Algebra and Logic. To appear.
F. Wolter and M. Zakharyaschev, 1997, Intuitionistic modal logics as fragments of classical bimodal logics, In E. Orlowska, editor, Logic at Work, Kluwer Academic Publishers. In print.
M.V. Zakharyaschev, 1989, Syntax and semantics of intermediate logics, Algebra and Logic, 28:262–282.
M.V. Zakharyaschev, 1991, Modal companions of superintuitionistic logics: syntax, semantics and preservation theorems, Matematics of the USSR, Sbornik, 68:277–289.
M.V. Zakharyaschev, 1992, Canonical formulas for K4, Part I: Basic results, Journal of Symbolic Logic, 57:1377–1402.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zakharyaschev, M. The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. Studia Logica 59, 345–358 (1997). https://doi.org/10.1023/A:1005084328298
Issue Date:
DOI: https://doi.org/10.1023/A:1005084328298