Undecidability results on two-variable logics
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 249-260
- https://doi.org/10.1007/bfb0023464
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On the Decision Problem for Two-Variable First-Order LogicBulletin of Symbolic Logic, 1997
- Bounded Variable Logics and CountingPublished by Springer Nature ,1997
- The Classical Decision ProblemPublished by Springer Nature ,1997
- Inductive definability with counting on finite structuresLecture Notes in Computer Science, 1993
- The Härtig quantifier: a surveyThe Journal of Symbolic Logic, 1991
- Dominoes and the complexity of subclasses of logical theoriesAnnals of Pure and Applied Logic, 1989
- Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairnessJournal of the ACM, 1986
- On languages with two variablesMathematical Logic Quarterly, 1975