On the Restraining Power of Guards
- 1 December 1999
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 64 (4) , 1719-1742
- https://doi.org/10.2307/2586808
Abstract
On the Restraining Power of Guards - Volume 64 Issue 4 - Erich GrädelKeywords
This publication has 19 references indexed in Scilit:
- On logics with two variablesTheoretical Computer Science, 1999
- On Preservation Theorems for Two‐Variable LogicMathematical Logic Quarterly, 1999
- Modal Languages and Bounded Fragments of Predicate LogicJournal of Philosophical Logic, 1998
- Extending partial isomorphisms on finite structuresCombinatorica, 1995
- Extending partial isomorphisms of graphsCombinatorica, 1992
- 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
- The Computational Complexity of Provability in Systems of Modal Propositional LogicSIAM Journal on Computing, 1977
- On languages with two variablesMathematical Logic Quarterly, 1975
- The undecidability of the domino problemMemoirs of the American Mathematical Society, 1966