1. Preface

   • A. Kurucz
   • M. Zakharyaschev
   • F. Wolter

   Preface Pages: 145 - 146

2. Equality and Monodic First-Order Temporal Logic

   • Anatoli Degtyarev
   • Michael Fisher
   • Alexei Lisitsa

   OriginalPaper Pages: 147 - 156

3. Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

   • Dov Gabbay
   • Valentin Shehtman

   OriginalPaper Pages: 157 - 183

4. Monodic Packed Fragment with Equality is Decidable

   • Ian Hodkinson

   OriginalPaper Pages: 185 - 197

5. A Tableau Decision Algorithm for Modalized ALC with Constant Domains

   • Carsten Lutz
   • Holger Sturm
   • Michael Zakharyaschev

   OriginalPaper Pages: 199 - 232

6. Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds

   • Maarten Marx

   OriginalPaper Pages: 233 - 252

7. An Elementary Construction for a Non-elementary Procedure

   • Maarten Marx
   • Szabolcs Mikulás

   OriginalPaper Pages: 253 - 263

8. A Note on Algebras of Substitutions

   • Gábor Sági

   OriginalPaper Pages: 265 - 284

9. Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic

   • Tarek Sayed Ahmed

   OriginalPaper Pages: 285 - 309