Goldblatt R., Hodkinson I., “Spatial logic of tangled closure operators and modal mu-calculus”, Ann. Pure Appl. Log., 168:5 (2017), 1032–1090
I. Hodkinson, “On the Priorean temporal logic with 'around now' over the real line”, Journal of Logic and Computation, 2014
Andrey Kudinov, Valentin Shehtman, “Derivational modal logics with the difference modality”, Outst. Contrib. Log., 4 (2014), 291–334
Ian Hodkinson, Proceedings of the 12th Asian Logic Conference, 2013, 155
Sano K., “Axiomatizing hybrid products of monotone neighborhood frames”, International workshop on hybrid logic and applications 2010 (HyLo 2010), Post-proceedings of the workshop (Edinburgh, UK, July 10, 2010), Electronic Notes in Theoretical Computer Science, 273, Elsevier, Amsterdam, 2011, 51–67
Sustretov D., “Hybrid Logics of Separation Axioms”, J. Logic Lang. Inf., 18:4 (2009), 541–558