\n

URL:/NewsandEvents/Archives/2009/newsitem/2639/15-
17-July-2009-International-Workshop-on-Hybrid-Logi
c-2009-HyLo-2009-Nancy-France
END:VEVENT
END:VCALENDAR
Hybri d logic is a branch of modal logic allowing direct reference\n to worlds/times/states. It is easy to justify interest in hybrid\n logic on the grounds of applications, as the additional expressive\n power is very useful. In addi tion, hybrid-logical machinery\n improves t he behaviour of the underlying modal formalism. F or\n example, it becomes considerably simpl er to formulate modal proof\n systems, and one can prove completeness and interpolation resul ts\n of a generality that is not available in orthodox modal logic.\n But more general ly, the topic of HyLo 2009 is not only standard\n hybrid-logical machinery (like nominals, sa tisfaction operators,\n binders, etc) but a lso extensions of modal logic that increase\n its expressive power in one way or other.\n

\nHyLo 2009 will be an special even t, conmemorating the ten years\n since the organization of the first HyLo workshop in 1999.\n HyLo 2009 will be relevant to a wide range of people, including\n those interested in description logic, feature logic, applied\n modal logics, temporal logic, and labelled deduc tion. The\n workshop aims to provide a foru m for advanced PhD students and\n researche rs to present and discuss their work with colleagu es and\n researchers.\n

\n \n \nFor more information, see\n http://hylo.loria.fr/content/Hylo09/< /a>\n