Studia Logica

, Volume 38, Issue 3, pp 297–311

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

  • Aldo Ursini

DOI: 10.1007/BF00405387

Cite this article as:
Ursini, A. Stud Logica (1979) 38: 297. doi:10.1007/BF00405387


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.

Copyright information

© Polish Academy of Sciences 1979

Authors and Affiliations

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