Skip to main content
SpringerLink
Log in

Glivenko Type Theorems for Intuitionistic Modal Logics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this article we deal with Glivenko type theorems for intuitionistic modal logics over Prior's MIPC. We examine the problems which appear in proving Glivenko type theorems when passing from the intuitionistic propositional logic Intto MIPC. As a result we obtain two different versions of Glivenko's theorem for logics over MIPC. Since MIPCcan be thought of as a one-variable fragment of the intuitionistic predicate logic Q-Int, one of the versions of Glivenko's theorem for logics over MIPCis closely related to that for intermediate predicate logics obtained by Umezawa [27] and Gabbay [15]. Another one is rather surprising.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bezhanishvili, G., 'Varieties of monadic Heyting algebras. Part I', Studia Logica 61 (1998), 367-402.

    Google Scholar 

  2. Bezhanishvili, G., 'Varieties of monadic Heyting algebras. Part II: Duality theory', Studia Logica 62 (1999), 1-28.

    Google Scholar 

  3. Bezhanishvili, G., 'Varieties of monadic Heyting algebras. Part III', Studia Logica 64 (2000), 215-256.

    Google Scholar 

  4. Bezhanishvili, G., 'Splitting monadic Heyting algebras', 1997, Report # IS-RR-97-0044F, JAIST.

  5. Bezhanishvili, G., 'Q-Heyting algebras as reducts of monadic Heyting algebras', Submitted.

  6. Bezhanishvili, G., '∀-free and ∃-free reducts of monadic Heyting algebras', in preparation.

  7. Bezhanishvili, G., and M. Zakharyaschev, 'Logics over MIPC', in Proceedings of Sequent Calculus and Kripke Semantics for Non-Classical Logics, RIMS Kokyuroku 1021, Kyoto University, 1997, pp. 86-95.

  8. Bull, R.A., 'A modal extension of intuitionistic logic', Notre Dame Journal of Formal Logic 6 (1965), 142-146.

    Google Scholar 

  9. Bull, R.A., 'MIPC as the formalization of an intuitionist concept of modality', Journal of Symbolic Logic 31 (1966), 609-616.

    Google Scholar 

  10. Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997.

  11. Engelking, R., General Topology, Warszawa, 1977.

  12. Esakia, L., 'Topological Kripke models' (in Russian), Dokl. Akad. Nauk SSSR 214 (1974), 298-301.

    Google Scholar 

  13. Esakia, L., Heyting Algebras I. Duality Theory (in Russian), Metsniereba Press, Tbilisi, 1985.

    Google Scholar 

  14. Fisher Servi, G., 'The finite model property for MIPQ and some consequences', Notre Dame Journal of Formal Logic 19 (1978), 687-692.

    Google Scholar 

  15. Gabbay, D., 'Applications of trees to intermediate logics', Journal of Symbolic Logic 37 (1972), 135-138.

    Google Scholar 

  16. Glivenko, V., 'Sur quelques points de la logique de M. Brouwer', Bulletin de la Classe des Sciences de l'Acad´emie Royale de Belgique 15 (1929), 183-188.

    Google Scholar 

  17. Halmos, P.R., Algebraic Logic, Chelsea Publishing Company, New York, 1962.

    Google Scholar 

  18. Kleene, S., Introduction to Metamathematics, Van Nostrand, New York, North Holland, Amsterdam and Noordhoff, Groningen, 1952.

  19. McKay, C., 'A class of decidable intermediate propositional logics', Journal of Symbolic Logic 36 (1971), 127-128.

    Google Scholar 

  20. Monteiro, A., and O. Varsavsky, 'Algebras de Heyting monádicas', Actas de las X Jornadas de la Unión Matemática Argentina, Bahía Blanca, 1957, p. 52-62.

  21. Ono, H., 'On some intuitionistic modal logics', Publications of Research Institute for Mathematical Sciences, Kyoto University 13 (1977), p. 687-722.

    Google Scholar 

  22. Prior, A., Time and Modality, Clarendon Press, Oxford, 1957.

    Google Scholar 

  23. Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, PWN, Warszawa, 1963.

  24. Reyes, G., and M. Zawadowski, 'Formal systems for modal operators on locales', Studia Logica 52 (1993), 595-613.

    Google Scholar 

  25. Rybakov, V., 'A modal analog for Glivenko's theorem and its applications', Notre Dame Journal of Formal Logic 33 (1992), 244-248.

    Google Scholar 

  26. Scroggs, S.G., 'Extensions of the Lewis system S5', Journal of Symbolic Logic, 16 (1951), 111-120.

    Google Scholar 

  27. Umezawa, T., 'On some properties of intermediate logics', Proceedings of the Japan Academy 35 (1959), 575-577.

    Google Scholar 

  28. Umezawa, T., 'On logics intermediate between intuitionistic and classical predicate logics', Journal of Symbolic Logic 24 (1959), 141-153.

    Google Scholar 

  29. Wajsberg, M., 'Ein erweiterter Klassenkalkül', Monatshefte für Mathematikund Physik 40 (1933), 113-126.

    Google Scholar 

  30. Wolter, F., 'Superintuitionistic companions of classical modal logics', Studia Logica 58 (1997), 229-259.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM, 88003-0001, USA

    Guram Bezhanishvili

Authors
  1. Guram Bezhanishvili
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bezhanishvili, G. Glivenko Type Theorems for Intuitionistic Modal Logics. Studia Logica 67, 89–109 (2001). https://doi.org/10.1023/A:1010577628486

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1010577628486

Search

Navigation