2023
Axiomatization of Hybrid Logic of Link Variations.
Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023