Abstract
In this paper we consider the effects of Gelfond-Lifschitz reduct of theories in modal language on the properties of associated notions of expansion. It turns out that, as in the general case without Gelfond-Lifschitz reduct, various monotonic modal logics collapse in this situation to the same nonmonotonic logic.
Preview
Unable to display preview. Download preview PDF.
References
B.F. Chellas. Modal logic, and introduction. Cambridge University Press, 1980.
M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Proceedings of the 5th International Symposium on Logic Programming, pages 1070–1080, Cambridge, MA., 1988. MIT Press.
G.E. Hughes and M.J. Cresswell. A companion to modal logic. Methuen and Co. Ltd., London, 1984.
K. Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence, 35:343–382, 1988.
K. Konolige. Errata to: On the relation between default and autoepistemic logic. Artificial Intelligence, 41:115, 1989.
W. Marek. Stable theories in autoepistemic logic. Fundamenta Informaticae, 12:243–254, 1989.
D. McDermott. Nonmonotonic logic ii: Nonmonotonic modal theories. Journal of the ACM, 29:33–57, 1982.
D. McDermott and J. Doyle. Nonmonotonic logic i. Artificial Intelligence, 13:41–72, 1980.
W. Marek, A. Nerode, and J.C. Remmel. Nonmonotonic rule systems i. Annals of Mathematics and Artificial Intelligence, pages 241–273, 1990.
W. Marek, A. Nerode, and J.C. Remmel. Nonmonotonic rule systems ii. Available as a Report of Mathematical Science Institute, Cornell University, 1990.
R.C. Moore. Semantical considerations on non-monotonic logic. Artificial Intelligence, 25:75–94, 1985.
W. Marek, G.F. Shvarts, and M. Truszczyński. Modal nonmonotonic logics: ranges, characterization, computation. In Second International Conference on Principles of Knowledge Representation and Reasoning, KR '91, Cambridge, MA, 1991.
W. Marek and M. Truszczyński. Relating autoepistemic and default logics. In Principles of Knowledge Representation and Reasoning, pages 276–288, San Mateo, CA., 1989. Morgan Kaufmann.
W. Marek and M. Truszczyński. Modal logic for default reasoning. Annals of Mathematics and Artificial Intelligence, 1:275–302, 1990.
W. Marek and M. Truszczyński. Autoepistemic logic. Journal of the ACM, 1991. To appear.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.
G.F. Shvarts. Autoepistemic modal logics. In R. Parikh, editor, Proceedings of TARK 1990, pages 97–109, San Mateo, CA., 1990. Morgan Kaufmann.
R.C. Stalnaker. A note on nonmonotonic modal logic. Unpublished manuscript, 1980.
M. Truszczyński. Stratified modal theories and iterative expansions. Technical Report 159-90, Department of Computer Science, University of Kentucky, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marek, W., Schwarz, G.F., Truszczyński, M. (1991). Ranges of strong modal nonmonotonic logics. In: Dix, J., Jantke, K.P., Schmitt, P.H. (eds) Nonmonotonic and Inductive Logic. NIL 1990. Lecture Notes in Computer Science, vol 543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023319
Download citation
DOI: https://doi.org/10.1007/BFb0023319
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54564-4
Online ISBN: 978-3-540-38469-4
eBook Packages: Springer Book Archive