Intuitionistic autoepistemic logic

Studia Logica 59 (1):103-120 (1997)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,703

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
58 (#245,163)

6 months
3 (#434,103)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.

View all 16 references / Add more references