1. Volker Weber

   • Thomas Schwentick
   • Herik Björklund

   Obituary 01 July 2009 Pages: 433 - 433

2. Preface

   • Torben Braüner
   • Thomas Bolander

   EditorialNotes 15 April 2009 Pages: 435 - 436

3. Terminating Tableau Systems for Hybrid Logic with Difference and Converse

   • Mark Kaminski
   • Gert Smolka

   OriginalPaper 22 April 2009 Pages: 437 - 464

4. Model Checking for Hybrid Logic

   • Martin Lange

   OriginalPaper 23 April 2009 Pages: 465 - 491

5. The Complexity of Hybrid Logics over Equivalence Relations

   • Martin Mundhenk
   • Thomas Schneider

   OriginalPaper 22 April 2009 Pages: 493 - 514

6. Hybrid Counterfactual Logics

   • Katsuhiko Sano

   OriginalPaper 12 May 2009 Pages: 515 - 539

7. Hybrid Logics of Separation Axioms

   • Dmitry Sustretov

   OriginalPaper 22 April 2009 Pages: 541 - 558

8. Hybrid Logic Meets IF Modal Logic

   • Tero Tulenheimo

   OriginalPaper 28 April 2009 Pages: 559 - 591

9. Branching-Time Logics Repeatedly Referring to States

   • Volker Weber

   OriginalPaper 10 June 2009 Pages: 593 - 624