References

Gab96

Dov Gabbay. Fibred semantics and the weaving of logics: Part I: Modal and intuitionistic logics. Journal of Symbolic Logic, 61(4):1057-1120, 1996.

HL95

Joseph Y. Halpern and Gerhard Lakemeyer. Levesque's axiomatization of only knowing is incomplete. Artificial Intelligence, 74(2):381-387, 1995.

KPH91

Sarit Kraus, Donald Perlis, and John Horty. Reasoning about ignorance: A note on the Bush-Gorbachev problem. Fundamenta Informatica, XV:325-332, 1991.

Lev90

Hector J. Levesque. All I know: a study in autoepistemic logic. Artificial Intelligence, 42:263-309, 1990.

McC78

John McCarthy. Formalization of two puzzles involving knowledge, 1978. Reprinted in [McC90].

McC79a

John McCarthy. Ascribing mental qualities to machines. In Martin Ringle, editor, Philosophical Perspectives in Artificial Intelligence. Harvester Press, 1979. Reprinted in [McC90].

McC79b

John McCarthy. First Order Theories of Individual Concepts and Propositions. In Donald Michie, editor, Machine Intelligence, volume 9. Edinburgh University Press, Edinburgh, 1979. Reprinted in [McC90].

McC90

John McCarthy. Formalization of common sense, papers by John McCarthy edited by V. Lifschitz. Ablex, 1990.

McC96

John McCarthy. Making Robots Conscious of their Mental States. In Stephen Muggleton, editor, Machine Intelligence 15. Oxford University Press, 1996.

Moo85

Robert C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1):75-94, January 1985.

Per88

Donald Perlis. Autocircumscription. Artificial Intelligence, 36:223-236, 1988.