Intuitionistic modal logics incompatible with the law of the excluded middle

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

Authors
Abstract
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01874703
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: 47,149
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Some Embedding Theorems for Modal Logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
39 ( #234,280 of 2,289,336 )

Recent downloads (6 months)
6 ( #187,342 of 2,289,336 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature