Bounds for the quantifier depth in two-variable logic

Christoph Berkholz Oleg Verbitsky

Published in: CoRR (2012)

Keyphrases

upper bound
lower bound
classical logic
depth map
depth information
error bounds
modal logic
upper and lower bounds
proof theory
predicate logic
multi valued
logical framework
lower and upper bounds
logic programming
tight bounds
three dimensional
epistemic logic
asynchronous circuits
worst case
worst case bounds