Undecidability of modal and intermediate first-order logics with two individual variables (1993)

by Gabbay Dov, Valentin Shehtman
Venue:The Journal of Symbolic Logic