LINK TO WORKSHOP HOMEPAGE

International Workshop on Hybrid Logic 2007 (HyLo 2007)

6 - 10 August, 2007, Dublin, Ireland

ESSLLI 2007   Part of the European Summer School in Logic, Language, and Information (ESSLLI 2007)

Workshop Program

Day 1.
Introduction by Torben BraŁner, 60 minutes.

Contributed talk, 30 minutes.
Philippe Balbiani and Andreas Herzig.
Talkin'bout Kripke models

Day 2.
Invited talk, 60 minutes.
Balder ten Cate.
Abstract model theory for extensions of modal logic

Contributed talk, 30 minutes.
Lutz Strassburger.
Deep inference for hybrid logic

Day 3.
Contributed talk, 30 minutes.
Natasha Alechina, Philippe Balbiani and Dmitry Shkatov.
Logics with modalities corresponding to infinite unions and intersections of
accessibility relations

Contributed talk, 30 minutes.
Jens Ulrik Hansen.
A tableau system for a first-order hybrid logic

Contributed talk, 30 minutes.
Dmitry Sustretov.
Topological semantics and decidability

Day 4.
Contributed talk, 30 minutes.
Volker Weber.
Hybrid branching-time logics

Contributed talk, 30 minutes.
Vladimir Rybakov.
A hybrid LTL_K of linear temporal logic LTL and multi-agent logic K_n.

Contributed talk, 30 minutes.
Mark Kaminski and Gert Smolka.
A straightforward saturation-based decision procedure for hybrid logic

Day 5.
Invited talk, 60 minutes.
Ian Hodkinson.
Axiomatising an arbitrary elementary modal logic using hybrid logic

Contributed talk, 30 minutes.
Martin Mundhenk and Thomas Schneider.
The complexity of hybrid logics over equivalence relations


2016-04-06 http://hylomol.ruc.dk/HyLo2007/program