Program of HyLo

Saturday, July 10th

Saturday's program is also available with abstracts and side by side with other events.

09:00‑09:50 Session 1
Location: AT 2.11
09:00 Dario Della Monica, Valentin Goranko and Guido Sciavicco
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
09:30 Michael R. Hansen
Efficient Model Checking for a Hybrid Duration Calculus
10:30‑12:30 Session 2
Location: AT 2.11
10:30 Moshe Vardi (Rice University)
Hybrid Logic: The Search for The Decidability Frontier
11:30 Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas and Felix Weiss
The Complexity of Satisfiability for Fragments of Hybrid Logic --- Part II
12:00 Jens Ulrik Hansen
A Hybrid Public Announcement Logic with Distributed Knowledge
14:00‑15:00 Session 3
Location: AT 2.11
14:00 Gert Smolka (Saarland University)
Tableau-Based Decision Procedures for Hybrid Logic
15:30‑16:50 Session 4
Location: AT 2.11
15:30 Valeria de Paiva, Hermann Hausler and Alexandre Rademaker
Constructive Description Logic, Hybrid-Style
15:50 Søren Lind Kristiansen and Anders Søgaard
Querying dependency treebanks using hybrid logic
16:10 Katsuhiko Sano
Axiomatizing Hybrid Products of Monotonic Neighborhood Frames
16:30 Thomas Bolander
Two approaches to termination and completeness for hybrid tableaus