\n

Hybri d logic is a branch of modal logic allowing direct \n reference to worlds/times/states. It is ea sy to justify interest\n in hybrid logic on t he grounds of applications as the additional\n expressive power is very useful. In addition, hy brid-logical\n machinery improves the behavio ur of the underlying modal\n formalism. For e xample, it becomes considerably simpler to\n formulate modal proof systems, and one can prove c ompleteness\n and interpolation results of a generality that is not available\n in orthodo x modal logic.\n

\nThe topic of the HyLo workshop of 2007 is not only standard\n hybrid-logical machinery like nominals, satisf action operators,\n and the downarrow binder, but generally extensions of modal\n logic th at increase its expressive power. The workshop\n continues a series of previous workshops on h ybrid logic, most\n recently the LICS-affilia ted HyLo 2006\n (http://hylomol.ruc. dk/HyLo2006/). HyLo 2007 is\n organized as part of ESSLLI 2007.\n

\n \n \nFor more informatio n, see\n http://hylomol.ruc.dk/HyLo2 007\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/169
9/6-10-August-2007-Hybrid-Logics-HyLo-2007-Dublin-
Ireland-
END:VEVENT
END:VCALENDAR
We invite the contribution of papers reporting new wo rk from\n researchers interested in hybrid logic.\n Deadline for submissions: March 8, 2007.\n

\n