Preview
Unable to display preview. Download preview PDF.
References
H.P. Grice, “Logic and conversation," in Speech Acts, Syntax and Semantics, P. Cole & J. Morgan, eds. #III: Speech Acts, Academic Press, New York, 1975.
J.Y. Halpern & Y.O. Moses, “Towards a theory of knowledge and ignorance: a preliminary report," in Proceedings of the AAAI Workshop on Non-Monotonic Reasoning, New Paltz, NY, 1984, 125–143.
J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca N.Y., 1962.
G.E. Hughes & M.J. Cresswell, A Companion to Modal Logic, Methuen, New York, 1984.
J.O.M. Jaspars, “Kennis en Eerlijk in S4 Kripke Modellen (Knowledge and Honesty in S4 Kripke Models)," University of Amsterdam, M.-thesis, supervised by J.F.A.K. van Benthem, Amsterdam, 1988.
J.O.M. Jaspars, “Theoretical Circumscription in Partial Modal Logic," in Logics in AI/JELIA'90, J. van Eijck, ed., Lecture Notes in Artificial Intelligence #478, Springer Verlag, Heidelberg, 1991, 303–318.
K. Konolige, “On the relation between default and autoepistemic logic," Artificial Intelligence 35 (1988), 343–382.
E.J. Lemmon & D.S. Scott, The ‘Lemmon Notes': An Introduction to Modal Logic, Blackwell, Oxford, 1977.
W. Lenzen, “Recent work in epistemic logic," Acta Philosophica Fennica 30 (1978), 1–219.
J. McCarthy, “Circumscription — A form of non-monotonic reasoning," Artificial Intelligence Journal 13(1980), 27–39.
R.C. Moore, “Semantical considerations on non-monotonic reasoning," in Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1983, 272–279.
R.C. Moore, “Possible world semantics for autoepistemic logic," in Proceedings of the AAAI Workshop on Non-Monotonic Reasoning, New Paltz, NY, 1984, 344–354.
M.Y. Vardi, “Model-theoretic analysis of monotone knowledge," in Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1985, 509–512.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jaspars, J. (1991). A generalization of stability and its application to circumscription of positive introspective knowledge. In: Börger, E., Kleine Büning, H., Richter, M.M., Schönfeld, W. (eds) Computer Science Logic. CSL 1990. Lecture Notes in Computer Science, vol 533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54487-9_65
Download citation
DOI: https://doi.org/10.1007/3-540-54487-9_65
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54487-6
Online ISBN: 978-3-540-38401-4
eBook Packages: Springer Book Archive