On logics with two variables

This publication has 10 references indexed in Scilit:

• On the Restraining Power of Guards
  The Journal of Symbolic Logic, 1999
• Bounded variable logics: two, three, and more
  Archive for Mathematical Logic, 1999
• On the Decision Problem for Two-Variable First-Order Logic
  Bulletin of Symbolic Logic, 1997
• Undecidability results on two-variable logics
  Published by Springer Nature ,1997
• A finite model theorem for the propositional ?-calculus
  Studia Logica, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Complexity results for classes of quantificational formulas
  Journal of Computer and System Sciences, 1980
• On languages with two variables
  Mathematical Logic Quarterly, 1975
• Remarks on Berger's paper on the domino problem
  Siberian Mathematical Journal, 1972
• The undecidability of the domino problem
  Memoirs of the American Mathematical Society, 1966