A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ

Studia Logica 38 (3):297 - 311 (1979)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
34 (#467,607)

6 months
4 (#1,054,538)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.

Add more references