Skip to main content
SpringerLink
Log in

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

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. G. Grätzer, Universal Algebra, Van Nonstrand, New York, 1969.

    Google Scholar 

  2. M. H. Löb, Solution of a problem of Leon Henkin, Journal of Symbolic Logic 20 (1955), pp. 115–118.

    Google Scholar 

  3. R. Magari, Modal diagonalizable algebras, Bollettino del-Unione Matematica Italiana, (5) 15-B (1978) pp. 303–320.

    Google Scholar 

  4. H. Rasiowa and R. Sikorski, Mathematics of Metamathematics, PWN, Warszawa, 1970.

    Google Scholar 

  5. G. Sambin, An effective fixed point theorem in intuitionistic diagonalizable algebras, Studia Logica XXXV, 4 (1976) pp. 345–361.

    Google Scholar 

  6. K. Segerberg, An Essay on classical modal logic, Filosofiska studier 13, Uppsala, 1971.

  7. C. Smorynski, The derivability conditions and Löb's theorem, A short course in modal logic, unpublished manuscript.

  8. A. Ursini, Intuitionistic diagonalizable algebras, Algebra Universalis 9 (1979), pp. 229–237.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Siena University, Italy

    Aldo Ursini

Authors
  1. Aldo Ursini
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ursini, A. A modal calculus analogous to K4W, based on intuitionistic propositional logic, Iℴ. Stud Logica 38, 297–311 (1979). https://doi.org/10.1007/BF00405387

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00405387

Keywords

Search

Navigation