From: Methods for Modalities <m4m@science.uva.nl>
To: Methods for Modalities <m4m@science.uva.nl>
Subject: CFP: HyLo@LICS
Date: Wed, 19 Dec 2001 13:58:40 +0100 [thread overview]
Message-ID: <20011219135840.A6168@science.uva.nl> (raw)
HyLo@LICS
4th WORKSHOP ON HYBRID LOGICS
LICS 2002 Affiliated Workshop
>>> JULY 25, 2002 <<<
Copenhagen, Denmark
FIRST CALL FOR PAPERS
THEME:
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
late 1960s, and have been sporadically investigated ever since, it is
only in 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 formalisms 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 nominals --- 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 completeness and interpolation
results can be proved of a generality that is simply not available in
modal logic. That is, hybridization --- adding nominals and related
apparatus --- seems a fairly reliable way of curing many known
weaknesses in modal logic. For more general background on hybrid
logic, and many of the key papers, see the Hybrid Logics homepage:
http://www.hylo.net
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 an interest in the work of the late Arthur
Prior, note that this workshop is devoted to exploring ideas he first
introduced 30 years ago --- it will be an ideal opportunity to see
how his ideas have been developed in the intervening period.
In this workshop we hope to bring together researchers from all the
different fields just mentioned (and hopefully some others) in an
attempt to explore what they all have (and do not have) in common. If
you're unsure whether your work is of relevance to the workshop,
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 give below.
SUBMISSIONS:
We invite the contribution of research papers to the workshop. Please
send electronically an extended abstract of up to 10 A4 size pages,
in PostScript format to: carlos@science.uva.nl BEFORE the 26st of
APRIL, 2002. Please note that all workshop contributors are required
by the LICS organizers to register for FLoC 2002.
IMPORTANT DATES:
Deadline for Submissions: April 26th, 2002
Notification of Acceptance: May 24th, 2002
Deadline for Final Versions: June 25th, 2002
CONTACT DETAILS:
Please visit http://www.hylo.net for further information.
Send all correspondence regarding the workshop to the organizers:
Carlos Areces
e-mail: carlos@wins.uva.nl
http://www.illc.uva.nl/~carlos
Patrick Blackburn
e-mail: patrick@coli.uni-sb.de
http://www.coli.uni-sb.de/~patrick
Maarten Marx
e-mail: marx@science.uva.nl
http://www.illc.uva.nl/~marx
Ulrike Sattler
e-mail: sattler@cs.rwth-aachen.de
http://www-lti.informatik.rwth-aachen.de/ti/uli-en.html
reply other threads:[~2001-12-19 12:58 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20011219135840.A6168@science.uva.nl \
--to=m4m@science.uva.nl \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).