MODAL AND EPISTEMIC LOGIC

Modal Logic:

1. On the Barcan formula (and modal logic generally):
   Zalta, Edward N., "Modal Logic"

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)

   • Rapaport, William J. (1988), Review of Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference (Los Altos, CA: Morgan Kaufmann, 1986), Journal of Symbolic Logic 53: 660-670.

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