Two-Variable Logic with Counting is Decidable.

Erich Grädel Martin Otto Eric Rosen

Published in: LICS (1997)

Keyphrases

linear time temporal logic
classical logic
monadic second order logic
first order logic
proof theory
predicate logic
defeasible logic
automata theoretic
asynchronous circuits
multi valued
expressive power
logic programming
databases
digital circuits
logical framework
deontic logic
horn clauses
bayesian networks