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: 86,377

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

46 (#290,140)

6 months
2 (#520,889)

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