Journal | Authors
On the expressive power of first-order modal logic with two-dimensional operators
2018
Alexander W. Kocurek
Synthese 195/10
