Part of the European Summer School in Logic, Language, and Information (ESSLLI 2007)
Part of the European Summer School in Logic, Language, and Information (ESSLLI 2007)
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