Author： Amati G. Carlucci-Aiello L. Pirri F.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.59, Iss.1, 1997-07, pp. : 103-120
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
In this paper we address the problem of combining a logic Λ with nonmonotonic modal logic. In particular we study the intuitionistic case. We start from a formal analysis of the notion of intuitionistic consistency via the sequent calculus. The epistemic operator M is interpreted as the consistency operator of intuitionistic logic by introducing intuitionistic stable sets. On the basis of a bimodal structure we also provide a semantics for intuitionistic stable sets.
Related content
Access to resources
Recommend
Quantum Logic in Intuitionistic Perspective
By Coecke B.
Studia Logica, Vol. 70, Iss. 3, 2002-04 ,pp. :
On an Intuitionistic Modal Logic
By Bierman G.M. de Paiva V.C.V.
Studia Logica, Vol. 65, Iss. 3, 2000-08 ,pp. :
□ In intuitionistic modal logic 1
By DeVidi David Solomon Graham
Australasian Journal of Philosophy, Vol. 75, Iss. 2, 1997-06 ,pp. :
The Pleasures of Anticipation: Enriching Intuitionistic Logic
Journal of Philosophical Logic, Vol. 30, Iss. 5, 2001-10 ,pp. :