1. Decidability by Resolution for Propositional Modal Logics

   • Renate A. Schmidt

   OriginalPaper Pages: 379 - 396

2. SPS-Parallelism + SETHEO = SPTHEO

   • Christian B. Suttner

   OriginalPaper Pages: 397 - 431

3. T-Resolution: Refinements and Model Elimination

   • Andrea Formisano
   • Alberto Policriti

   OriginalPaper Pages: 433 - 483

4. Author Index to Volume 22

   OriginalPaper Pages: 485 - 486

5. Subject Index to Volume 22

   OriginalPaper Pages: 487 - 487

6. Contents to Volume 22

   OriginalPaper Pages: 489 - 490