Modal Logic

(Click on the title above to do a Google search on it.)

Last Update: 17 September 2008

Note: NEW or UPDATED material is highlighted


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"

  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)

  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

(Note: Relevance logic and its relatives (e.g., the logic of entailment, paraconsistent logics, etc.) are not, strictly speaking, modal logics, but they share a common history (viz., overcoming the paradoxes of the material conditional), and they form the basis for the logic underlying SNePS, so I include them here.)

  1. Anderson, Alan Ross, & Belnap, Nuel D., Jr. (eds.) (1975), Entailment: The Logic of Relevance and Necessity, Vol. I (Princeton, NJ: Princeton University Press).

  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).

  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. NEW
      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

  • Montague, Richard (1974), Formal Philosophy, Richmond H. Thomason (ed.) (New Haven: Yale University Press).


    Copyright © 2003–2010 by William J. Rapaport (rapaport@buffalo.edu)
    http://www.cse.buffalo.edu/~rapaport/663/F08/modallogic.html-20100720