Studia Logica

, Volume 38, Issue 3, pp 297–311 | Cite as

A modal calculus analogous to K4W, based on intuitionistic propositional logic, Iℴ

  • Aldo Ursini


This paper treats a kind of a modal logic based on the intuitionistic propositional logic which arose from the “provability” predicate in the first order arithmetic. The semantics of this calculus is presented in both a relational and an algebraic way.

Completeness theorems, existence of a characteristic model and of a characteristic frame, properties of FMP and FFP and decidability are proved.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    G. Grätzer, Universal Algebra, Van Nonstrand, New York, 1969.Google Scholar
  2. [2]
    M. H. Löb, Solution of a problem of Leon Henkin, Journal of Symbolic Logic 20 (1955), pp. 115–118.Google Scholar
  3. [3]
    R. Magari, Modal diagonalizable algebras, Bollettino del-Unione Matematica Italiana, (5) 15-B (1978) pp. 303–320.Google Scholar
  4. [4]
    H. Rasiowa and R. Sikorski, Mathematics of Metamathematics, PWN, Warszawa, 1970.Google Scholar
  5. [5]
    G. Sambin, An effective fixed point theorem in intuitionistic diagonalizable algebras, Studia Logica XXXV, 4 (1976) pp. 345–361.Google Scholar
  6. [6]
    K. Segerberg, An Essay on classical modal logic, Filosofiska studier 13, Uppsala, 1971.Google Scholar
  7. [7]
    C. Smorynski, The derivability conditions and Löb's theorem, A short course in modal logic, unpublished manuscript.Google Scholar
  8. [8]
    A. Ursini, Intuitionistic diagonalizable algebras, Algebra Universalis 9 (1979), pp. 229–237.Google Scholar

Copyright information

© Polish Academy of Sciences 1979

Authors and Affiliations

  • Aldo Ursini
    • 1
  1. 1.Institute of MathematicsSiena UniversityItaly

Personalised recommendations