[Event at CIG] Hybrid Logic 2022 workshop

[Torben Braüner]

Dear colleagues,

I take the liberty to inform you about the HyLo 2022 workshop, please follow the link:
https://sites.google.com/view/unilog-2022/workshops/hybrid-logic

Also, I've included a formal CFP below. Please forward to potentially interested people.

Best regards,

Torben Braüner


**************************************************************
                   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 at ruc.dk<mailto:torben at ruc.dk>) Roskilde University, Denmark
Patrick Blackburn (patrick.rowan.blackburn at gmail.com<mailto:patrick.rowan.blackburn at 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.