| 1 | -- | 2 | Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen. Preface |
| 3 | -- | 14 | Ian Horrocks, Birte Glimm, Ulrike Sattler. Hybrid Logics and Ontology Languages |
| 15 | -- | 27 | Moritz Hardt, Gert Smolka. Higher-Order Syntax and Saturation Algorithms for Hybrid Logic |
| 29 | -- | 43 | Martin Mundhenk, Thomas Schneider. Undecidability of Multi-modal Hybrid Logics |
| 45 | -- | 61 | . Testing XML constraint satisfiability |
| 63 | -- | 77 | André Platzer. Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
| 79 | -- | 94 | Balder ten Cate, Tadeusz Litak. Topological Perspective on the Hybrid Proof Rules |
| 95 | -- | 111 | Sano Katsuhiko. A Hybridization of Irreflexive Modal Logics |
| 113 | -- | 133 | Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen. Decidability of a Hybrid Duration Calculus |
| 135 | -- | 148 | Jason Reed. Hybridizing a Logical Framework |