A modal calculus analogous to K4W, based on intuitionistic propositional logic, Iℴ
Received: 23 February 1978 Revised: 09 March 1979 DOI:
Cite this article as: Ursini, A. Stud Logica (1979) 38: 297. doi:10.1007/BF00405387 Abstract
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.
, Van Nonstrand, New York, 1969.
M. H. Löb
Solution of a problem of Leon Henkin
Journal of Symbolic Logic
20 (1955), pp. 115–118.
Modal diagonalizable algebras
Bollettino del-Unione Matematica Italiana
, (5) 15-B (1978) pp. 303–320.
Mathematics of Metamathematics
, PWN, Warszawa, 1970.
An effective fixed point theorem in intuitionistic diagonalizable algebras
XXXV, 4 (1976) pp. 345–361.
K. Segerberg, An Essay on classical modal logic, 13, Uppsala, 1971. Filosofiska studier
C. Smorynski, The derivability conditions and Löb's theorem, A short course in modal logic, unpublished manuscript.
Intuitionistic diagonalizable algebras
9 (1979), pp. 229–237.
Google Scholar Copyright information
© Polish Academy of Sciences 1979