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

Studia Logica 38 (3):297 - 311 (1979)
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00405387
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,208
Through your library

References found in this work BETA

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

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total downloads
12 ( #435,599 of 2,242,611 )

Recent downloads (6 months)
2 ( #231,979 of 2,242,611 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature