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.
Similar content being viewed by others
References
AMATI, G., and F. PIRRI, 1994, ‘A uniform tableaux method for Intuitionistic modal logic I’, Studia Logica 53, 29–60.
AMATI, G., L. CARLUCCI-AIELLO, D. GABBAY, and F. PIRRI, 1996, ‘A structural property on modal frames characterizing default logic’, Journal of IGPL 4,1, 1–24.
AVRON, A., 1993, ‘Gentzen-type systems, resolution and tableaux’, Journal of Automated reasoning 10, 265–281.
VAN BENTHEM, J., 1988, A Manual of Intensional Logic, Lecture Notes, CSLI.
VAN DALEN, D., 1986, ‘Intuitionistic Logic’, Handbook of philosophical logic, Gabbay and Guenther (Eds), Reidel Publishing Co., Dordrecht.
DoŠen, K., 1985, ‘Models for strongly normal intuitionistic modal logics’, Studia Logica 44, 39–70.
FISCHER SERVI, G., 1977, ‘On Modal Logics with an Intuitionstic Base’, Studia Logica 36, 141–149.
FISCHER SERVI, G., 1980, ‘Semantics for a class of Intuitionistic Modal Calculi’, in M.L. Dalla Chiara (ed.), Italian Studies in the Philosophy of Science, Reidel Publishing Co., Dordrecht, 59–72.
FISCHER SERVI, G., 1984, ‘Axiomatizations for some Intuitionistic Modal Logics’, Rend. Sem. Mat. Univers. Polit. 42, 179–194.
FISCHER SERVI, G., 1992, ‘Nonmonotonic consequence based on intuitionistic logic’, Journal of Symbolic Logic 57, 1167–1197.
FITTING, M., 1983, Proof Methods for Modal and Intuitionistic Logics, Reidel Publishing Co., Dordrecht.
GABBAY, D. M., 1982, ‘Intuitionistic basis for non-monotonic logic’, Proceedings of the 6th Conference on Automated Deduction, LNCS, Vol.138, Springer-Verlag, Berlin, 260–273.
GABBAY, D. M., M. R. B. CLARKE, 1988, ‘An Intuitionistic Basis for Non-Monotonic Reasoning’, Non-Standard Logics for Automated Reasoning, Academic-Press, 163–178.
HALPERN, J. Y., and Y. MOSES, 1984, ‘Towards a theory of knowledge and ignorance: Preliminary report’, Proceedings of the 1984 Non-monotonic Reasoning Workshop, American Association for Artificial Intelligence, Morgan Kaufmann, 125–143.
KONOLIGE, K., 1988, ‘On the relation between default theories and autoepistemic logic’, Artificial Intelligence Journal 35, 343–382.
MCDERMOTT, D., and C. DOYLE, 1980, ‘Non-monotonic Logic I’, Artificial Intelligence Journal 13, 41–72.
MAREK, V., and M. TRUSZCZYNSKI, 1989, ‘Relating autoepistemic and default logics’, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), Morgan Kaufmann, 276–288.
MAREK, V., and M. TRUSZCZYNSKI, 1993, Nonmonotonic Logic, Context-Dependent Reasoning, Springer-Verlag.
MCCARTY, T., 1988, ‘Clausal intuitionistic logic I. Fixed-point semantics’, Journal of Logic Programming 5, 1–31.
MOORE, R. C., 1985, ‘Semantical Considerations on nonmonotonic logic’, Artificial Intelligence Journal 25, 75–94.
ONO, H., 1977, ‘On some intuitionistic modal logics’, Publication of The Research Institute for Mathematical Science 13, Kyoto University, 687–722.
STALNAKER, R. C., 1993, ‘A note on non monotonic modal logic’, Arlificial Intelligence Journal 64, 183–196.
TAKEUTI, G., 1975, Proof Theory, North Holland, Amsterdam.
THOMASON, R., 1969, ‘A semantical study of constructibile falsity’, Z. Math. Logik und Grundlagen der Mathematik 15, 247–257.
TRUSZCZYNSKI, M., 1991, ‘Modal interpretations of default logic’, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), Morgan Kaufmann, 393–398.
VAKARELOV, D., 1981, ‘Intuitionistic Modal Logics Incompatible with the law of the excluded middle’, Studia Logica 40, 103–111.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Amati, G., Carlucci-Aiello, L. & Pirri, F. Intuitionistic Autoepistemic Logic. Studia Logica 59, 103–120 (1997). https://doi.org/10.1023/A:1004999417699
Issue Date:
DOI: https://doi.org/10.1023/A:1004999417699