6 - 11 April 2022, Workshop on Hybrid Logic and Applications (HyLo 2022)
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.