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.
Similar content being viewed by others
References
D. Makinson,Some embedding theorems for modal logic,Notre Dame Journal of Formal Logic, 12 (1971) pp. 252–254.
H. Rasiowa, andR. Sikorski,The Mathematics of Metamathematics, Warsaw 1963.
V. Sotirov,Modal theories with intuitionistic logic, in: VI Balkan mathematical congress, Varna 3–9 June 1977, Summaries, p. 91.
V. Sotirov,Modal theories with intuitionistic logic, Dissertation Moscow, 1979.
D. Vakarelov,Semi-group semantics for intuitionistic modal logic (unpublished), Annual conference of mathematics, 1978, Sofia.
A. Wroński,Intermediate logics and the disjunction property,Reports on Mathematical Logic 1 (1973), pp. 39–52.
V. A. Jankov,Postroenie posledovatelnosti silno-nezavisimyh superintuicionistkih propozicionalnyh usćisleni, DAN SSSR, vol. 181, no. 1, 33 (1968).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Vakarelov, D. Intuitionistic modal logics incompatible with the law of the excluded middle. Stud Logica 40, 103–111 (1981). https://doi.org/10.1007/BF01874703
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01874703