• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Article

Undecidability of modal and intermediate first-order logics with two individual variables.

Journal of Symbolic Logic. 1993. Vol. 58. No. 3. P. 800-823.
Gabbay D., Shehtman V. B.