Hybrid Logic and Applications

HyLo 2022