Please note that this newsitem has been archived, and may contain outdated information or links.
6-10 August 2007, Hybrid Logics (HyLo 2007), Dublin (Ireland)
Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.
The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.
For more information, see http://hylomol.ruc.dk/HyLo2007
We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Deadline for submissions: March 8, 2007.
Please note that this newsitem has been archived, and may contain outdated information or links.