10 July 2010, International Workshop on Hybrid Logic and Applications (HyLo 2010), Edinburgh, Scotland

Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. This extra capability, very natural in the realm of temporal logics, where one usually wants to refer to specific times, has been shown very effective in other domains too. Although they date back to the late 1960s, and have been sporadically investigated ever since, it was only in the 1990s that work on them really got into its stride. Hybrid logic is now a mature field with significant impact on a range of other fields.

The topic of the HyLo workshop of 2010 is hybrid logic and its applications, for instance within the fields mentioned above. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder but, more generally, extensions of modal logic that increase its expressive power.

See the workshop home page at http://hylocore.ruc.dk/HyLo2010.html for further information.