On the Decision Problem for Two-Variable First-Order Logic
- 1 March 1997
- journal article
- Published by Cambridge University Press (CUP) in Bulletin of Symbolic Logic
- Vol. 3 (1), 53-69
- https://doi.org/10.2307/421196
Abstract
On the Decision Problem for Two-Variable First-Order Logic - Volume 3 Issue 1 - Erich Grädel, Phokion G. Kolaitis, Moshe Y. VardiKeywords
This publication has 33 references indexed in Scilit:
- Undecidability results on two-variable logicsLecture Notes in Computer Science, 1997
- An optimal lower bound on the number of variables for graph identificationCombinatorica, 1992
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- Knowledge and common knowledge in a distributed environmentJournal of the ACM, 1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- The unsolvability of the Gödel class with identityThe Journal of Symbolic Logic, 1984
- Complexity results for classes of quantificational formulasJournal of Computer and System Sciences, 1980
- Correction to A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936
- Zum Entscheidungsproblem des logischen FunktionenkalkülsMonatshefte für Mathematik, 1933