A general method for proving decidability of intuitionistic modal logics

Journal of Applied Logic 4 (3):219-230 (2006)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 93,127

External links

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

Through your library

Similar books and articles


Added to PP

25 (#654,840)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On generalized Van Benthem-type characterizations.Grigory K. Olkhovikov - 2017 - Annals of Pure and Applied Logic 168 (9):1643-1691.
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.

Add more citations

References found in this work

On an intuitionistic modal logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.
MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.
A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.

View all 7 references / Add more references