\n

\nHyb
rid logic is a branch of modal logic in which it i
s possible to\ndirectly refer to worlds/times/stat
es or whatever the elements of\nthe (Kripke) model
are meant to represent.\nThe workshop HyLo 2006 i
s likely to be relevant to a wide range of\npeople
, including those interested in description logic,
feature\nlogic, applied modal logics, temporal lo
gic, and labelled\ndeduction.\nA theme of special\
ninterest at this HyLo workshop will be the combin
ation of hybrid\nlogic with other logics, the basi
c methodological question being\n"what is the best
way of hybridizing a given logic?"

\nHyLo 20
06 is affiliated with LICS 2006.\n

For more information, see\n http://hylomol.ruc.dk/HyLo2006/\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/131
5/11-August-2006-HyLo-2006-International-Workshop-
on-Hybrid-Logic-Seattle-USA
END:VEVENT
END:VCALENDAR
\nWe invite t he contribution of papers reporting new work from\ nresearchers interested in hybrid logic.\n Submission deadline is 26 May 2006.\n

\n