Skip to main content
Log in

Embedding Modal Nonmonotonic Logics into Default Logic

  • Published:
Studia Logica Aims and scope Submit manuscript


We present a straightforward embedding of modal nonmonotonic logics into default logic.

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

Access this article

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

Instant access to the full article PDF.

Similar content being viewed by others


  1. Gottlob, G., ‘Translating default logic into standard autoepistemic logic’, Journal of the Association for Computing Machinery 42 (1995), 711–740.

    Google Scholar 

  2. Hughes, G. E., and M. J. Cresswell, A new introduction to modal logic, Routledge, London, 1996.

    Google Scholar 

  3. Marek, V. W., A. Nerode, and J. B. Remmel, ‘Nonmonotonic rule systems I’, Ann. Math. Art. Int. 1 (1990), 241–273.

    Google Scholar 

  4. Marek, V. W., and M. TruszczyŃski, Nonmonotonic logic: Context-dependent reasoning, Springer Verlag, Berlin, 1993.

    Google Scholar 

  5. McDermott, D., ‘Nonmonotonic logic II: Nonmonotonic modal theories’, Journal of the ACM 29 (1982), 33–57.

    Google Scholar 

  6. McDermott, D., and J. Doyle, ‘Nonmonotonic logic I’, Art. Int. 13 (1980), 41–72.

    Google Scholar 

  7. Moore, R. C., ‘Possible-world semantics for the autoepistemic logic’, in R. Reiter, (ed.), Proceedings of the Workshop on Non-Monotonic Reasoning, 1984, pp. 344–354.

  8. _____, ‘Semantical considerations on non-monotonic logic’, Art. Int. 25 (1985), 75–94.

    Google Scholar 

  9. Reiter, R., ‘A logic for default reasoning’, Art. Int. 13 (1980), 81–132.

    Google Scholar 

  10. Shvarts, G. F., ‘Autoepistemic modal logics’, in R. Parikh, (ed.), Proceedings of TARK 1990, Morgan Kaufman, 1990, pp. 73–84.

  11. TruszczyŃski, M., ‘Embedding default logic into modal nonmonotonic logics’, in A. Nerode, V. W. Marek, and V. S. Subrahmanian, (eds.), Logic Programming and Nonmonotonic Reasoning, MIT Press, 1991, pp. 151–165.

  12. _____, ‘Modal interpretations of default logic’, Proceedings of IJCAI-91, Morgan Kaufmann, 1991, pp. 393–398.

Download references

Author information

Authors and Affiliations


Rights and permissions

Reprints and permissions

About this article

Cite this article

Milnikel, R. Embedding Modal Nonmonotonic Logics into Default Logic. Studia Logica 75, 377–382 (2003).

Download citation

  • Issue Date:

  • DOI: