1. Editorial

   • Roy Dyckhoff
   • Heinrich Wansing

   Editorial Introduction Pages: 3 - 4

2. An Overview of Tableau Algorithms for Description Logics

   • Franz Baader
   • Ulrike Sattler

   OriginalPaper Pages: 5 - 40

3. Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5

   • Linh Anh Nguyen

   OriginalPaper Pages: 41 - 57

4. Free-Variable Tableaux for Propositional Modal Logics

   • Bernhard Beckert
   • Rajeev GorÉ

   OriginalPaper Pages: 59 - 96

5. Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics

   • Marta Cialdea Mayer
   • Serenella Cerrito

   OriginalPaper Pages: 97 - 131

6. Term-Modal Logics

   • Melvin Fitting
   • Lars Thalmann
   • Andrei Voronkov

   OriginalPaper Pages: 133 - 169

7. A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most

   • Riccardo Rosati

   OriginalPaper Pages: 171 - 191

8. Information for Authors

   Instructions for Authors Pages: 193 - 193