Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy.

Christoph Berkholz Andreas Krebs Oleg Verbitsky

Published in: CSL (2013)

Keyphrases

expressive power
upper bound
lower bound
modal logic
finite number
depth map
propositional calculus
valued logic
inference rules
error bounds
three dimensional
higher level
high quality
lower and upper bounds
classical logic
tight bounds
linear functions
neural network