This document is unfortunately not available for download at the moment.
Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (2018) Synthese 195 (10).
On the expressive power of first-order modal logic with two-dimensional operators
Alexander W. Kocurek
pp. 4373-4417
Not implemented yet !