Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 10 July 2010
Location: Edinburgh, Scotland
Deadline: 30 March 2010

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.

Authors are invited to submit papers in the following two categories: regular papers describing original research, and presentation-only papers describing work recently published or submitted. Deadline for submissions: March 30, 2010.

Please note that this newsitem has been archived, and may contain outdated information or links.