Intuitionistic modal logics incompatible with the law of the excluded middle

Studia Logica 40 (2):103 - 111 (1981)
  Copy   BIBTEX


In this paper, intuitionistic modal logics which do not admit the law of the excluded middle are studied. The main result is that there exista a continuum of such logics.



    Upload a copy of this work     Papers currently archived: 91,088

External links

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

Through your library


Added to PP

49 (#295,954)

6 months
4 (#404,301)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.

Add more references