| Category: ||E-CFP |
| Subject: ||HyLo_(on)_LICS: CFP & Preliminary Program |
| From: ||Methods for Modalities |
| Email: ||m4m_(on)_science.uva.nl |
| Date received: ||14 Jun 2002 |
| Deadline: ||15 Jun 2002 |
| Start date: ||25 Jul 2002 |
4th Workshop on Hybrid Logics
LICS 2002 Affiliated Workshop
July 25th, 2002. Copenhagen, Denmark
(DEADLINE FOR EARLY REGISTRATION JUNE 15!!!)
CALL FOR PARTICIPATION AND PRELIMINARY PROGRAM
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. Although they date back to the
1960s, and have been sporadically investigated ever since, it is only
the 1990s that work on them really got into its stride.
It is easy to justify interest in hybrid logic on applied grounds, with
the usefulness of the additional expressive power. For example, when
reasoning about time one often wants to build up a series of assertions
about what happens at a particular instant, and standard modal
do not allow this. What is less obvious is that the route hybrid logic
takes to overcome this problem (the basic mechanism being to add
--- atomic symbols true at a unique point --- together with extra
modalities to exploit them) often actually improves the behavior of the
underlying modal formalism. For example, it becomes far simpler to
formulate modal tableau and resolution in hybrid logic, and
and interpolation results can be proved of a generality that is simply
available in modal logic. That is, hybridization --- adding nominals
related apparatus --- seems a fairly reliable way of curing many known
weaknesses in modal logic.
HyLo@LICS 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. Moreover, if you have
interest in the work of the late Arthur Prior, note that this workshop
devoted to exploring ideas he first introduced 30 years ago --- it
an ideal opportunity to see how his ideas have been developed in the
In this workshop we hope to bring together researchers from all the
different fields just mentioned (and hopefully some others) in an
to explore what they all have (and do not have) in common. If you're
unsure whether the workshop is of relevance to your work , please check
out the Hybrid Logics homepage. And do not hesitate to contact the
workshop organisers for more information. We'd be delighted to tell you
more. Contact details are given below.
The program includes invited talks by Melvin Fitting and Moshe Vardi.
Thursday 25th, July 2002:
9.00 - 10.00 Hs. Melvin Fitting
14.00 - 15.00 Hs. Moshe Vardi.
Logic and Automata: Words, Trees, and Forests.
The full program is available at the workshop webpages:
Papers accepted for the workshop and related material will be available
from the Hybrid Logic Site.
Website-ready copy of all workshop contributions: June 30th, 2002
Workshop: July 25th.
Send all correspondence regarding the workshop to the organizers:
M4M: Methods for Modalities