Abstract
We present a straightforward embedding of modal nonmonotonic logics into default logic.
Similar content being viewed by others
References
Gottlob, G., ‘Translating default logic into standard autoepistemic logic’, Journal of the Association for Computing Machinery 42 (1995), 711–740.
Hughes, G. E., and M. J. Cresswell, A new introduction to modal logic, Routledge, London, 1996.
Marek, V. W., A. Nerode, and J. B. Remmel, ‘Nonmonotonic rule systems I’, Ann. Math. Art. Int. 1 (1990), 241–273.
Marek, V. W., and M. TruszczyŃski, Nonmonotonic logic: Context-dependent reasoning, Springer Verlag, Berlin, 1993.
McDermott, D., ‘Nonmonotonic logic II: Nonmonotonic modal theories’, Journal of the ACM 29 (1982), 33–57.
McDermott, D., and J. Doyle, ‘Nonmonotonic logic I’, Art. Int. 13 (1980), 41–72.
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.
_____, ‘Semantical considerations on non-monotonic logic’, Art. Int. 25 (1985), 75–94.
Reiter, R., ‘A logic for default reasoning’, Art. Int. 13 (1980), 81–132.
Shvarts, G. F., ‘Autoepistemic modal logics’, in R. Parikh, (ed.), Proceedings of TARK 1990, Morgan Kaufman, 1990, pp. 73–84.
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.
_____, ‘Modal interpretations of default logic’, Proceedings of IJCAI-91, Morgan Kaufmann, 1991, pp. 393–398.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Milnikel, R. Embedding Modal Nonmonotonic Logics into Default Logic. Studia Logica 75, 377–382 (2003). https://doi.org/10.1023/B:STUD.0000009566.83940.4f
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000009566.83940.4f