Research Area of Reasoning about Actions and Change
 
 
 

Debate about the Use of Modal Logic in Knowledge Representation

The following contributions have been made to this discussion:

1. John McCarthy: Modality, Si! Modal logic, No! Link to note in several formats.

2. Heinrich Wansing: Modality, Of Course! Modal Logic, Si! Postscript

3. Joseph Halpern: On the Adequacy of Modal Logic. Postscript

4. John McCarthy: Modality for Robots - Responses to Halpern and Wansing. Postscript

5. Joseph Halpern: On the Adequacy of Modal Logic II: An Answer to McCarthy. Postscript


Latest update: 5.6.2000; Position code: C.rac.deb.modal.