Expressing cardinality quantifiers in monadic second-order logic over chains.

Vince Bárány Lukasz Kaiser Alexander Rabinovich

Published in: J. Symb. Log. (2011)

Keyphrases

monadic second order logic
first order logic
expressive power
knowledge representation
tree automata
data complexity
regular expressions
natural language
query language
database
machine learning
data sets
incomplete information
set theory