1. Belief Revision: A Critique

   • Nir Friedman
   • Joseph Y. Halpern

   OriginalPaper Pages: 401 - 420

2. Recovery and Epistemic Residue

   • Sven Ove Hansson

   OriginalPaper Pages: 421 - 428

3. A Power Algebra for Theory Change

   • K. Britz

   OriginalPaper Pages: 429 - 443

4. A Modal Logic for Non-Deterministic Discourse Processing

   • Tim Fernando

   OriginalPaper Pages: 445 - 468

5. Reasoning about Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi

   • Valentin Goranko

   OriginalPaper Pages: 469 - 473

6. Basic Simple Type Theory, J. Roger Hindley

   • Hans-Joerg Tiede

   OriginalPaper Pages: 473 - 476

7. Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann

   • Maarten de Rijke

   OriginalPaper Pages: 476 - 478

8. The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich

   • Maarten Marx

   OriginalPaper Pages: 478 - 481

9. Effective Logic Computation, Klaus Truemper

   • Lex Hendriks

   OriginalPaper Pages: 481 - 484

10. Index of Authors of Volume 8

    OriginalPaper Pages: 485 - 485

11. Contents of Volume 8

    OriginalPaper Pages: 487 - 489