Accepted Papers

Nicole Bidoit, Dario Colazzo
Testing XML constraint satisfiability

Andre Platzer
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems

Jason Reed
Hybridizing a Logical Framework

Martin Mundhenk, Thomas Schneider
Undecidability of Multi-modal Hybrid Logics

Moritz Hardt, Gert Smolka
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic

Tadeusz Litak, Balder ten Cate
Topological Perspective on the Hybrid Proof Rules

Katsuhiko Sano
A Hybridization of Irreflexive Modal Logics

Thomas Bolander, Jens Ulrik Hansen, and Michael Reichhardt Hansen
Decidability of a Hybrid Duration Calculus