1. Editorial

   • Heinrich Wansing

   Legacy Pages: III - VII

2. Labelled Modal Logics: Quantifiers

   • David Basin
   • Seán Matthews
   • Luca Viganò

   OriginalPaper Pages: 237 - 263

3. Modal Pure Type Systems

   • Tijn Borghuis

   OriginalPaper Pages: 265 - 296

4. Undivided and Indistinguishable Histories in Branching-Time Logics

   • Alberto Zanardo

   OriginalPaper Pages: 297 - 315

5. Speaking about Transitive Frames in Propositional Languages

   • Yasuhito Suzuki
   • Frank Wolter
   • Michael Zakharyaschev

   OriginalPaper Pages: 317 - 339

6. Temporalizing Epistemic Default Logic

   • Wiebe van der Hoek
   • John-Jules Meyer
   • Jan Treur

   OriginalPaper Pages: 341 - 367

7. An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

   • Joeri Engelfriet
   • Jan Treur

   OriginalPaper Pages: 369 - 388

8. Extensions of First-Order Logic, Maria Manzano

   • Hans Jürgen Ohlbach

   BookReview Pages: 389 - 391

9. Upcoming Themes

   Legacy Pages: 393 - 393