Abstract
Intuitionistic propositional logicInt and its extensions, known as intermediate or superintuitionistic logics, in many respects can be regarded as just fragments of classical modal logics containingS4. The main aim of this paper is to construct a similar correspondence between intermediate logics augmented with modal operators—we call them intuitionistic modal logics—and classical polymodal logics We study the class of intuitionistic polymodal logics in which modal operators satisfy only the congruence rules and so may be treated as various sorts of □ and ◇.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
G. Amati and F. Pirri, “A uniform tableau method for intuitionistic modal logics. I,”Studia Logica,53, 29–60 (1994).
J. F. van Benthem, “Canonical modal logics and ultrafiltez extensions,”J. Symb. Log.,44, 1–8 (1979).
J. F. van Benthem,Modal Logic and Classical Logic, Napoli (1983).
W. J. Blok, Varieties of Interior Algebras, University of Amsterdam (1976), Dissertation.
M. Božić and K. Došen, “Models for normal intuitionistic logics,”Studia Logica,43, 217–245 (1984).
A. V. Chagrov and M. V. Zakharyaschev, “Modal companions of intermediate propositional logics,”Studia Logica,51, 49–82 (1992).
A. V. Chagrov and M. V. Zakharyaschev,Modal and Superintuitionistic Logics, Oxford Univ. Press (1996).
M. A. E. Dummett and E. J. Lemmon, “Modal logics between S4 and S5,”Zeitschrift für Mathematische Logik und Grundlagen der Mathematik,5, 250–264 (1959).
L. L. Esakia, “On varieties of Grzegorczyk algebras,” inStudies in Non-Classical Logics and Set Theory, Nauka, Moscow (1979), pp. 257–287.
W. B. Ewald, “Intuitionistic tense and modal logic,”J. Symb. Log.,51, 166–179 (1986).
K. Fine, “Logics containing K4. II,”J. Symb. Log.,50, 619–651 (1985).
K. Fine and G. Schurz, “Transfer theorems for stratified multimodal logics,” inLogic and Reality. Essays in Pure and Applied Logic, J. Copeland (ed.), Oxford Univ. Press (1996), pp. 169–213.
G. Fischer Servi, “On modal logics with an intuitionistic base,”Studia Logica,36, 141–149 (1977).
G. Fischer Servi, “Semantics for a class of intuitionistic modal calculi,” inItalian Studies in the Philosophy of Science, M. L. Dalla Chiara (ed.), Reidel, Dordrecht (1980), pp. 59–72.
G. Fischer Servi, “Axiomatizations for some intuitionistic modal logics,”Rend. Sem. Mat. Univ. Polit. 42, 179–194 (1984).
K. Gödel, “Eine Interpretation des intuitionistischen Aussagenkalkuls,”Ergebnisse eines mathematischen Kolloquiums,6, 39–40 (1933).
R. I. Goldblatt, “Metamathematics of modal logic,”Reports on Mathematical Logic,6, 41–77 (1976).
E. J. Lemmon and D. S. Scott,An Introduction zo Modal Logic, Slackwell, Oxford (1977).
L. Maksimova and V. Rybakov, “Lattices of modal logics,”Algebra Logika,13, No. 2, 188–216 (1974).
H. Ono, “Some results on the intermediate logics,”Publ. Research Inst. Math. Science,117–130 (1972).
H. Ono, “On some intuitionistic modal logics,”Publ. Research Inst. Meth. Science,13, 55–67, (1977).
H. Rasiowa and R. Sikorski,The Mathematics of Metamathematics, Polish Scientific Publishers (1963).
H. Sahlqvist, “Completeness and correspondence in the first and second order semantics for modal logic,” inProc. Third Scandinavian Logic Symposium, S. Kanger (ed.), North-Holland, Amsterdam (1975), pp. 110–143.
K. Segerberg,Classical Propositional Operators, Clarendon, Oxford (1982).
V. B. Shehtman, “Kripke type semantics for propositional modal logics with intuitionistic base,” inModal and Tense Logics [in Russian], V. A. Smirnov (ed.), Institute of Philosophy, AN SSSR (1979), pp. 108–112.
V. H. Sotirov, “Modal theories with intuitionistic logic,” in:Proc. Conf. Math. Logic, Sofia, 1980, Bulgarian Academy of Sciences (1984), pp. 139–171.
F. Wolter and M. Zakharyaschev, “Intuitionistic modal logics as fragments of classical bimodal logics,” to appear inStudia Logica.
M. V. Zakharyaschev, “Syntax and semantics of intermediate logics,”Algebra Logika,28, No. 4, 402–429 (1989).
M. V. Zakharyaschev, “Canonical formulas for K4. I: Basic results,”J. Symb. Log.,57, 1377–1402 (1992).
Additional information
Supported by the Alexander von Humboldt Foundation.
Translated fromAlgebra i Logika, Vol. 36, No. 2, pp. 121–155, March–April, 1997.
Rights and permissions
About this article
Cite this article
Wolter, F., Zakharyaschev, M. The relation between intuitionistic and classical modal logics. Algebr Logic 36, 73–92 (1997). https://doi.org/10.1007/BF02672476
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02672476