Skip to main content
SpringerLink
Log in

Intuitionistic Autoepistemic Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. AMATI, G., and F. PIRRI, 1994, ‘A uniform tableaux method for Intuitionistic modal logic I’, Studia Logica 53, 29–60.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. AVRON, A., 1993, ‘Gentzen-type systems, resolution and tableaux’, Journal of Automated reasoning 10, 265–281.

    Google Scholar 

  4. VAN BENTHEM, J., 1988, A Manual of Intensional Logic, Lecture Notes, CSLI.

  5. VAN DALEN, D., 1986, ‘Intuitionistic Logic’, Handbook of philosophical logic, Gabbay and Guenther (Eds), Reidel Publishing Co., Dordrecht.

    Google Scholar 

  6. DoŠen, K., 1985, ‘Models for strongly normal intuitionistic modal logics’, Studia Logica 44, 39–70.

    Google Scholar 

  7. FISCHER SERVI, G., 1977, ‘On Modal Logics with an Intuitionstic Base’, Studia Logica 36, 141–149.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. FISCHER SERVI, G., 1984, ‘Axiomatizations for some Intuitionistic Modal Logics’, Rend. Sem. Mat. Univers. Polit. 42, 179–194.

    Google Scholar 

  10. FISCHER SERVI, G., 1992, ‘Nonmonotonic consequence based on intuitionistic logic’, Journal of Symbolic Logic 57, 1167–1197.

    Google Scholar 

  11. FITTING, M., 1983, Proof Methods for Modal and Intuitionistic Logics, Reidel Publishing Co., Dordrecht.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

  14. 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.

  15. KONOLIGE, K., 1988, ‘On the relation between default theories and autoepistemic logic’, Artificial Intelligence Journal 35, 343–382.

    Google Scholar 

  16. MCDERMOTT, D., and C. DOYLE, 1980, ‘Non-monotonic Logic I’, Artificial Intelligence Journal 13, 41–72.

    Google Scholar 

  17. 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.

  18. MAREK, V., and M. TRUSZCZYNSKI, 1993, Nonmonotonic Logic, Context-Dependent Reasoning, Springer-Verlag.

  19. MCCARTY, T., 1988, ‘Clausal intuitionistic logic I. Fixed-point semantics’, Journal of Logic Programming 5, 1–31.

    Google Scholar 

  20. MOORE, R. C., 1985, ‘Semantical Considerations on nonmonotonic logic’, Artificial Intelligence Journal 25, 75–94.

    Google Scholar 

  21. ONO, H., 1977, ‘On some intuitionistic modal logics’, Publication of The Research Institute for Mathematical Science 13, Kyoto University, 687–722.

  22. STALNAKER, R. C., 1993, ‘A note on non monotonic modal logic’, Arlificial Intelligence Journal 64, 183–196.

    Google Scholar 

  23. TAKEUTI, G., 1975, Proof Theory, North Holland, Amsterdam.

    Google Scholar 

  24. THOMASON, R., 1969, ‘A semantical study of constructibile falsity’, Z. Math. Logik und Grundlagen der Mathematik 15, 247–257.

    Google Scholar 

  25. TRUSZCZYNSKI, M., 1991, ‘Modal interpretations of default logic’, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), Morgan Kaufmann, 393–398.

  26. VAKARELOV, D., 1981, ‘Intuitionistic Modal Logics Incompatible with the law of the excluded middle’, Studia Logica 40, 103–111.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Sistemistica, Università di Roma "la Sapienza", via Salaria 113, 00198, Roma, Italia

    Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri

Authors
  1. Giambattista Amati
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luigia Carlucci-Aiello
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fiora Pirri
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1004999417699

Search

Navigation