Deciding the guarded fragments by resolution

Modal Languages and Bounded Fragments of Predicate Logic

Hajnal Andréka, Istvàn Németi, Johan van Benthem · Journal of Philosophical Logic · 1998 · 601 citations

Humanities, Computer Science, Formal Methods +11

The Computational Complexity of Provability in Systems of Modal Propositional Logic

Richard E. Ladner · SIAM Journal on Computing · 1977 · 555 citations

Computing, Computer Science, Mathematics +11

Rewrite-based Equational Theorem Proving with Selection and Simplification

Leo Bachmair, Harald Ganzinger · Journal of Logic and Computation · 1994 · 404 citations · Full text

Computing, Computer Science, Mathematics +10

On the Restraining Power of Guards

Erich Grädel · Journal of Symbolic Logic · 1999 · 362 citations

Humanities, Computer Science, Formal Methods +12

On the Decision Problem for Two-Variable First-Order Logic

Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi · Bulletin of Symbolic Logic · 1997 · 324 citations

Computing, Computer Science, Mathematics +12