Abadi M and Manna Z, 1986. “Modal theorem proving” CADE-8, 172–189.

Barwise J and Perry J, 1983. Situations and attitudes, Cambridge, Massachusetts: Bradford Books [In this book Barwise and Perry introduce a new approach of the study of the semantics of natural language, called situation semantics. Levesque uses similar ideas in his logic of implicit and explicit belief]

Boolos G and Jeffrey R, 1974. Computability and logic, Cambridge: Cambridge University Press [One of the standard introduction to logic. This book is very much written with the theory of computation in mind]

Chellas B, 1980. Modal logic, Cambridge: Cambridge University Press [A good introduction to modal logic, restricted however to prepositional modal logic]

Fagin R and Halpern R, 1985. “Belief, awareness, and limited reasoning: Preliminary report” IJCAI-85, 491–501

Geissler Ch and Konolige K, 1986. “A resolution method for quantified modal logics of knowledge and belief” In: Halpern, ed (1986)

Halpern J, ed, 1986. Theoretical aspects of reasoning about knowledge,New York:Morgan Kaufmann [The proceedings of a conference on reasoning about knowledge and belief. Recommended further reading]

Halpern J and Moses Y, 1985. “A guide to the modal logics of knowledge and belief: Preliminary draft” IJCAI-9, 480–490 [A short introduction to epistemic logic, restricted to the propositional case]

Hayes P, 1977. “In defence of logic” IJCAI-5, 559–565

Hayes P, 1985. “The second naive physic manifesto” In: Hobbs and Moore, eds (1985)

Hintikka J, 1962. Knowledge and belief, New York: Cornell University Press

Hintikka J, 1969. “Semantics for prepositional attitudes” In: Davis J, eds, Philosphical Logic, Dordrecht: Reidel

Hobbs J and Moore R, eds, 1985. Formal theories of the common sense world, Norwood, New Jersey: Ablex

Hughes G and Cresswell M, 1968. An introduction to modal logics, London: Methuen [Probably still the best introduction to modal logic]

Jackson P and Reichgelt H, 1988. “A modal proof method for doxastic reasoning in incomplete theories” ECA1–88, 480–484

Jackson P and Reichgelt H, 1989a. “A general proof method for arbitrary modal predicate logic” In: Jackson PReichgelt H, and Harmelen F van, eds, Logic-based knowledge representation, Cambridge, Massachusetts: MIT Press

Jackson P and Reichgelt H, 1989b. “A modal proof method of doxastic reasoning” In: Jackson P, Reichgelt H and Harmelen F, van, eds, Logic-based knowledge representation, Cambridge, Massachusetts: MIT Press

Jian Y, 1987. “A clausal form of belief. A logic programming model” 9th International Conference of the Cognitive Science Society, 301–314

Konolige K, 1986a. A deduction model of belief, London: Pitman [Based on Konolige's thesis, this book discusses both Konolige's modal epistemic theorem prover, as well as his deduction model of belief]

Konolige K, 1986b. “Resolution and quantified epistemic logic” CADE-8, 199–208

Konolige K, 1988a, “Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary Report” SRI Technical Note 446

Konolige K, 1988b. “On the relation between default and autoepistemic logic” Artificial Intelligence, 35, 343–382.

Kripke S, 1963. “Semantic considerations on modal logic” Acta Philosophica Fennica, 16, 83–94

Kripke S, 1972. “Naming and necessity” In: Davidson D and Harmon G, eds, Semantic of natural language, 2nd ed, Dordrecht: Reidel

Lakemeyer G, 1986. “Steps towards a first-order logic of explicit belief” In: Halpern, ed

Levesque H, 1984. “A logic of implicit and explicit belief” AAAI-84, 198–202

Levesque H and Brachman R, 1985. “A fundamental tradeoff in knowledge representation and reasoning (revised version)” In: Brachman R and Levesque H, eds, Readings in knowledge representation, Los Altos, California: Morgan Kaufmann

Mates B, 1972. Elementary logic (2nd ed), Oxford: Oxford University Press [A good introduction to first-order logic]

Marek W and Truszczyński M, 1989. “Relating autoepistemic and default logics” In: Brachman R, Levesque H and Reiter R, eds, Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning,San Mateo, CA:Morgan Kaufmann

McArthur G, 1988. “Reasoning about knowledge and belief: A survey” Computational Intelligence, 4, 223–243 [An alternative review of much of the material discussed in this paper]

McCarthy J, 1979. “First order theories of individual concepts and propositions” Machine Inteligence, 9, 129–147

Mendelson E, 1987. Introduction to mathematical logic (3rd), Wadsworth, California: [Another worthwhile introduction to logic]

Moore R, 1984. “The role of logic in Artificial Intelligence” SRI Tech Report 335

Moore R, 1985a. “A formal theory of knowledge and action” In: Hoggs and Moore, eds [Moore's reified epistemic logic]

Moore R, 1985b. “Semantical considerations on non-monotonic logic” Artificial Intelligence, 25, 75–94 [In this paper Moore introduces his autoepistemic logic]

Moore R, 1988. “Autoepistemic logic” In: Smets Ph, Mamdani A, Dubois D and Prade H, eds, Non-standard logics for automated reasoning, London: Academic Press [A further introduction to Moore's autoepistemic logic. The book also contains three comments with a reply by Moore]

Moore R and Hendrix G, 1979. “Computational models of belief and the semantics of belief sentences” SRI Technical Note 187

Nilsson N, 1982. Principles of artificial intelligence, Berlin: Springer [A very good introduction to automated theorem provers]

Rapaport W, 1986. Logical foundations for belief representation” Cognitive Science, 10, 371–442

Robinson J, 1979. Logic: form and function. The mechanization of deductive reasoning, Edinburgh University press [A general introduction to logic, and the theory underlying the central concepts in automated theorem proving such as unification and resolution]

Stickel M, 1987. “An introduction to automated deduction” In: Bibel W and Jorrand Ph, eds, Fundamentals of artificial intelligence: An advanced course, Berlin: Springer-Verlag

Vardi M, ed, 1988. Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge.Los Altos, California:Morgan Kaufmann [The proceedings of a conference on reasoning about knowledge and belief. Recommended further reading]

Wallen L, 1986. “Matrix proof methods for modal logics” IJCAI-10, 917–923.