HyLo 2010 Accepted Papers

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
The Complexity of Satisfiability for Fragments of Hybrid Logic --- Part II
A Hybrid Public Announcement Logic with Distributed Knowledge
Efficient Model Checking for a Hybrid Duration Calculus
Axiomatizing Hybrid Products of Monotonic Neighborhood Frames
Constructive Description Logic,  Hybrid-Style
Querying dependency treebanks using hybrid logic
Two approaches to termination and completeness for hybrid tableaus