\n

Hybri d logic is an extension of modal logic which allow s us to refer\n explicitly to states of the model in the syntax of formulas.\n This ex tra capability, very natural in the realm of tempo ral logics,\n where one usually wants to re fer to specific times, has been shown\n ver y effective in other domains too. Although they da te back to the\n late 1960s, and have been sporadically investigated ever since,\n it was only in the 1990s that work on them really got into its stride.\n Hybrid logic is now a m ature field with significant impact on a range\n of other fields.\n

\nThe t opic of the HyLo workshop of 2010 is hybrid logic and its\n applications, for instance within the fields mentioned above.\n The scope is not only standard hybrid-logical machinery like n ominals,\n satisfaction operators, and the downarrow binder but, more generally,\n ext ensions of modal logic that increase its expressiv e power.\n

\n \n \nSee t he workshop home page at\n http: //hylocore.ruc.dk/HyLo2010.html for further\n information.\n

\n\n

URL:/NewsandEvents/Archives/2010/newsitem/3170/10-
July-2010-International-Workshop-on-Hybrid-Logic-a
nd-Applications-HyLo-2010-Edinburgh-Scotland
END:VEVENT
END:VCALENDAR
Authors are invited to submit papers in the following two\n categories: regular papers d escribing original research, and\n presentati on-only papers describing work recently published or\n submitted. Deadline for submissions: Mar ch 30, 2010.\n

\n