Modal Logic and the Two-Variable Fragment.

Carsten Lutz, Ulrike Sattler, Frank Wolter

Browse the full CSL paper archive.