Intuitionistic Autoepistemic Logic

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.

[1]  Victor W. Marek,et al.  Relating Autoepistemic and Default Logics , 1989, KR.

[2]  Victor W. Marek,et al.  Modal nonmonotonic logics: ranges, characterization, computation , 1991, JACM.

[3]  Dov M. Gabbay,et al.  An intuitionistic basis for non-monotonic reasoning , 1988 .

[4]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[5]  Fiora Pirri,et al.  A uniform tableau method for intuitionistic modal logics I , 1994, Stud Logica.

[6]  G. Servi.  On modal logic with an intuitionistic base , 1977 .

[7]  Dimiter Vakarelov.  Intuitionistic modal logics incompatible with the law of the excluded middle , 1981 .

[8]  Gisele Fischer Servi.  Completeness for non normal intuitionistic modal logics , 1981 .

[9]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[10]  Victor W. Marek,et al.  Nonmonotonic logic - context-dependent reasoning , 1997, Artificial intelligence.

[11]  V. Wiktor Marek,et al.  Nonmonotonic Logic , 1993, Artificial Intelligence.

[12]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[13]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[14]  J.F.A.K. van Benthem,et al.  Modal Logic as a Theory of Information , 1996 .

[15]  Gisèle Fischer Servi,et al.  Semantics for a Class of Intuitionistic Modal Calculi , 1980 .

[16]  Kosta Dosen,et al.  Models for stronger normal intuitionistic modal logics , 1985, Stud Logica.

[17]  Gisèle Fischer Servi,et al.  Nonmonotonic consequence based on intuitionistic logic , 1992, Journal of Symbolic Logic.

[18]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

[19]  M. Fitting.  Proof Methods for Modal and Intuitionistic Logics , 1983 .

[20]  Miroslaw Truszczynzki.  Modal interpretations of default logic , 1991, IJCAI 1991.

[21]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[22]  Dov M. Gabbay,et al.  Intuitonistic Basis for Non-Monotonic Logic , 1982, CADE.

[23]  Kurt Konolige,et al.  On the Relation Between Default Theories and Autoepistemic Logic , 1987, IJCAI.

[24]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

[25]  Robert Stalnaker,et al.  A Note on Non-Monotonic Modal Logic , 1993, Artif. Intell..

[26]  J.F.A.K. van Benthem,et al.  A manual of intensional logic , 1989 .

[27]  Gisèle Fischer Servi,et al.  The finite model property for MIPQ and some consequences , 1978, Notre Dame J. Formal Log..

[28]  Gisèle Fischer-Servi.  The finite model property for ${\bf MIPQ}$ and some consequences. , 1978 .

[29]  L. Thorne McCarty,et al.  Clausal Intuitionistic Logic I - Fixed-Point Semantics , 1988, J. Log. Program..

[30]  David Makinson,et al.  General Theory of Cumulative Inference , 1988, NMR.

[31]  Dov M. Gabbay,et al.  A Structural Property on Modal Frames Characterizing Default Logic , 1996, Log. J. IGPL.

[32]  H. Ono.  On Some Intuitionistic Modal Logics , 1977 .

[33]  Robert C. Moore.  Possible-World Semantics for Autoepistemic Logic , 1987, NMR.