6-11 Apr 2022
Crete, Greece
**************************************************************
CALL FOR PAPERS
Workshop on Hybrid Logic and Applications (HyLo 2022)
Affiliated with UNILOG 2022
6-11 April, 2022, Crete, Greece
**************************************************************
Scientific Justification
-----
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 Arthur
Prior's work in 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 behaviour of the
underlying modal formalism. For example, it becomes far simpler to
formulate modal tableau systems, resolution, and natural deduction in
hybrid logic, and completeness results can be proved of a generality that
is simply not available in ordinary modal logic. That is, hybridization
--- adding nominals and related apparatus --- seems a reliable way of
curing many known weaknesses in ordinary modal logic.
Hybrid logic is now a mature field with significant impact on a range of other fields, including
- applied modal logics,
- temporal logic,
- labelled deduction,
- philosophy of time, and
- social reasoning
The topic of the HyLo workshop of 2022 is hybrid logic and its applications, for instance within the fields mentioned above. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.
The workshop continues a series of previous workshops on
hybrid logic and applications, for example
HyLo 2006 (http://hylomol.ruc.dk/HyLo2006),
HyLo 2007 (https://hylomol.ruc.dk/HyLo2007) and
HyLo 2010 (http://hylocore.ruc.dk/HyLo2010.html).
Submissions
-----------
To submit a contribution, send a one-page abstract to both organizers of the workshop. Please write "HyLo submission" in the subject field.
Important Dates
---------------
Deadline for submissions: October 9th, 2021
Notification of acceptance: October 21st, 2021
Format
------
The duration of the workshop is a half day or one day depending on the
number of accepted abstracts. The workshop will take place at some point
during the UNILOG congress. One author for each accepted abstract must
register for UNILOG and attend the workshop in order to give a talk.
Plans for dissemination
-----------------------
Depending on the number and quality of the accepted abstracts, there might be a follow-up special issue of a journal, with a separate refereeing round.
Organizers
----------
Torben Braüner (torben@ruc.dk<mailto:torben@ruc.dk>) Roskilde University, Denmark
Patrick Blackburn (patrick.rowan.blackburn@gmail.com<mailto:patrick.rowan.blackburn@gmail.com>) Roskilde University, Denmark
Contact Details
---------------
See the workshop web page (https://sites.google.com/view/unilog-2022/workshops/hybrid-logic) for further information. Please send all correspondence regarding the workshop to the organizers.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam