On the expressive power of first-order modal logic with two-dimensional operators

2018

Alexander W. Kocurek

Synthese 195 (10)