News and Events: Conferences

6 - 11 April 2022, Workshop on Hybrid Logic and Applications (HyLo 2022)

Date: 6 - 11 April 2022
Location: Crete, Greece
Target audience: Logicians (computational, philosophical, mathematical)
Costs: See Unilog web site
Deadline: Saturday 9 October 2021

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.

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 scope of the workshop 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 duration of the workshop is a half day or one day and it will take place at some point during the UNILOG congress, April 6-11, 2022.

We welcome contributions to the the theory and applications of hybrid logic. To submit a contribution, send a one-page abstract to both organizers of the workshop. Please write "HyLo submission" in the subject field. Depending on the quality of the abstracts, there might be a follow-up special issue of a journal, with a separate refereeing round.

For more information, see https://sites.google.com/view/unilog-2022/workshops/hybrid-logic or contact Torben Braüner at , or Patrick Blackburn at .