CSE 676, Fall 2001


Modal Logic:

  1. On the Barcan formula (and modal logic generally):

Epistemic (and Doxastic) Logic:

  1. Moore, Robert C. (1977), "Reasoning about Knowledge and Action", Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI-77, MIT) (Los Altos, CA: Morgan Kaufmann): 223-227.

  2. McCarthy, John (1979), "First Order Theories of Individual Concepts and Propositions", reprinted in Ronald J. Brachman & Hector J. Levesque (eds.), Readings in Knowledge Representation (Los Altos, CA: Morgan Kaufmann, 1985): 523-533.

  3. Joseph Y. Halpern (ed.) (1986), Theoretical Aspects of Reasoning About Knowledge (Los Altos, CA: Morgan Kaufmann)

  4. Levesque, Hector J. (1986) "Making Believers out of Computers", Artificial Intelligence 30: 81-108.

  5. Levesque, Hector J. (1986), "Knowledge Representation and Reasoning," Annual Review of Computer Science 1: 255-287.

  6. Rapaport, William J. (1992), "Belief Representation Systems", in Stuart C. Shapiro (ed.), Encyclopedia of Artificial Intelligence, 2nd edition (New York: John Wiley): 98-110.

  7. Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; & Vardi, Moshe Y. (1995), Reasoning about Knowledge (Cambridge, MA: MIT Press); Ch. 1: Introduction and Overview, and Ch. 2: A Model for Knowledge

Copyright © 2001 by William J. Rapaport (rapaport@cse.buffalo.edu)
file: 676/F01/modallogic.25oc01.html