Regular papers

Carlos E. Areces, U Amsterdam, The Netherlands; Patrick Blackburn, LORIA Nancy, France; Maarten Marx, U Amsterdam, The Netherlands; and Ulrike Sattler, Dresden U of Techn., Germany
Welcome to the workshop

Carlos E. Areces, U Amsterdam, The Netherlands and Carsten Lutz, Dresden U of Techn., Germany
Concrete domains and nominals united

Patrick Blackburn, LORIA Nancy, France and Maarten Marx, U Amsterdam, The Netherlands
Constructive interpolants for every bounded fragment definable hybrid logic

Patrick Blackburn, LORIA Nancy, France and Balder ten Cate, U Amsterdam, The Netherlands
Beyond pure axioms: Node creating rules in hybrid tableaux

Torben Braüner, U Roskilde, Denmark
Natural deduction for first-order hybrid logic

Renata de Freitas, J. Viana, P. Veloso, S. Veloso, and M. Benevides; Federal U of Rio de Janeiro, Brazil
On hybrid arrow logic

Bernhard Heinemann, U Hagen, Germany
Axiomatizing modal theories of subset spaces

Adi Palm, U Passau, Germany
Characterizing tree-adjoining grammars with hybrid logic