Modal Logic

Modal Logic:

1. Garson, James (2003), "Modal Logic", in Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Winter 2003 Edition).

2. McCarthy, John (1969), "Modal Logic"
   • Excerpt from:
     McCarthy, John, & Hayes, Patrick J. (1969), " Some Philosophical Problems from the Standpoint of Artificial Intelligence", in B. Meltzer & D. Michie (eds.), Machine Intelligence (Edinburgh, UK: Edinburgh University Press), Vol. 4, pp. 463-502.

3. Zalta, Edward N. (2003?), "Modal Logic".

Epistemic and Doxastic Logic

1. web ad on knowing that you know

2. Moore's axioms [PDF]

3. Halpern, Joseph Y.; Fagin, Ronald; Moses, Yoram; & Vardi, Moshe Y. (2003) Reasoning about Knowledge (revised edition) (Cambridge, MA: MIT Press)

4. Theoretical Aspects of Rationality and Knowledge (TARK)
   • Lockwood & SEL, Q334 .C68;
   • Lockwood Q334 .T47, Q334 .T48

5. 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), in Journal of Symbolic Logic 53: 660-670.

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

7. SNePS and Knowledge, Belief, & Intensionality

Deontic Logic

1. See the discussion and references in:
   Rapaport, William J. (1998), "Prolegomena to a Study of Hector-Neri Castañeda's Influence on Artificial Intelligence: A Survey and Personal Reflections", in Francesco Orilia & William J. Rapaport, (eds.), Thought, Language, and Ontology: Essays in Memory of Hector-Neri Castañeda (Dordrecht: Kluwer Academic Publishers): 345-367.

Relevance Logic

1. Anderson, Alan Ross, & Belnap, Nuel D., Jr. (eds.) (1975), Entailment: The Logic of Relevance and Necessity, Vol. I (Princeton, NJ: Princeton University Press).
   • SCI/ENGR Book Collection QA9 .A634 1975

2. Anderson, Alan Ross; Belnap, Nuel D., Jr.; & Dunn, J. Michael (eds.) (1992), Entailment: The Logic of Relevance and Necessity, Vol. II (Princeton, NJ: Princeton University Press).
   • SCI/ENGR Book Collection QA9 .A634 1975

   • Includes:
     Shapiro, Stuart C., "Relevance Logic in Computer Science", § 83, pp. 553-563.

3. The SNePS approach:
   1. Shapiro, Stuart C. & Wand, Mitchell (1976), "The Relevance of Relevance", Technical Report 46 (Bloomington, IN: Indiana University Computer Science Department).

   2. Martins, João P. & Shapiro, Stuart C. (1981), "A Belief Revision System Based on Relevance Logic and Heterarchical Contexts", Technical Report 175 (Buffalo: SUNY Buffalo Department of Computer Science).

   3. Martins, João P. (1983), "Belief Revision in MBR", in Proceedings of the 1983 Conference on Artificial Intelligence (Rochester, MI).

   4. Martins, João P. (1983), "Reasoning in Multiple Belief Spaces" (Ph.D. dissertation), Technical Report 203 (Buffalo: SUNY Buffalo Department of Computer Science).
      • SCI/ENGR Book Collection TK7885 .N4 no.203
      • SCI/ENGR Dissertation Collection Diss C58 1983 M37

   5. Martins, João P. & Shapiro, Stuart C. (1983), "Reasoning in Multiple Belief Spaces", in Proceedings of the 8th International Joint Conference on Artificial Intelligence (Los Altos, CA: Morgan Kaufmann): 370-373.

   6. Martins, João P. & Shapiro, Stuart C. (1984), "A Model for Belief Revision", in Non-Monotonic Reasoning Workshop (AAAI): 241-294.

   7. Martins, João P. & Shapiro, Stuart C. (1986), "Theoretical Foundations for Belief Revision", in J.Y. Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge (Los Altos, CA: Morgan Kaufmann): 383-398.

   8. Martins, João P. & Shapiro, Stuart C. (1986), "Hypothetical Reasoning", in Applications of Artificial Intelligence to Engineering Problems: Proceedings of the 1st International Conference (Berlin: Springer-Verlag): 1029-1042.

   9. Martins, João P. & Shapiro, Stuart C. (1986), "Belief Revision in SNePS", in Proceedings of the 6th Canadian Conference on Artificial Intelligence (Presses de l'Université du Québec): 230-234.

   10. Martins, João P. & Shapiro, Stuart C. (1988), "A Model for Belief Revision", Artificial Intelligence 35(1): 25-79.

   11. 
       For a literary discussion of what happens when a computer or robot uses classical logic, see:
       Asimov, Isaac (1941), "Liar!", Astounding Science Fiction; reprinted in Isaac Asimov, I, Robot (Garden City, NY: Doubleday), Ch. 5, pp. 99–117.

Montague grammar