Please note that this newsitem has been archived, and may contain outdated information or links.
11 August 2006, HyLo 2006: International Workshop on Hybrid Logic, Seattle, USA
Hybrid logic is a branch of modal logic in which it is possible to
directly refer to worlds/times/states or whatever the elements of
the (Kripke) model are meant to represent.
The workshop HyLo 2006 is likely to be relevant to a wide range of
people, including those interested in description logic, feature
logic, applied modal logics, temporal logic, and labelled
deduction.
A theme of special
interest at this HyLo workshop will be the combination of hybrid
logic with other logics, the basic methodological question being
"what is the best way of hybridizing a given logic?"
HyLo 2006 is affiliated with LICS 2006.
For more information, see http://hylomol.ruc.dk/HyLo2006/
We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Submission deadline is 26 May 2006.
Please note that this newsitem has been archived, and may contain outdated information or links.