?
Undecidability of modal and intermediate first-order logics with two individual variables.
Journal of Symbolic Logic. 1993. Vol. 58. No. 3. P. 800-823.
Shehtman V. B., Gabbay D.
Language:
English