The two Anonymous Referees for Graham White's article both recommded that the contribution be declined. Today the author answers to their critique. (The referees will be asked to comment on the answer).

Also, Ray Reiter answers to John McCarthy's 'grumble' and to Pat Hayes's comments on nomenclature that that followed it.

Additional debate contributions have been received for the following article(s). Please click the title of the article to link to the interaction page, containing both new and old contributions to the discussion.

Graham White
Simulation, Ramification, and Linear Logic
   Review protocol: [in this pane]; with links: [frame] [noframe]

Hector Levesque, Fiora Pirri, and Ray Reiter
Foundations for the Situation Calculus
   Review protocol: [in this pane]; with links: [frame] [noframe]