Login / Signup
Bounds for the Quantifier Depth in Finite-Variable Logics: Alternation Hierarchy.
Christoph Berkholz
Andreas Krebs
Oleg Verbitsky
Published in:
ACM Trans. Comput. Log. (2015)
Keyphrases
</>
expressive power
upper bound
depth map
depth information
lower bound
upper and lower bounds
inference rules
finite number
modal logic
hierarchical structure
worst case
tight bounds
data sets
vc dimension
average case
linear functions
class hierarchy
valued logic