First order quantifiers in~monadic second order logic.

H. Jerome Keisler Wafik Boulos Lotfallah

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

Keyphrases

first order logic
monadic second order logic
expressive power
inference rules
knowledge representation
incomplete information
data complexity
databases
higher order
set theory
data mining
regular expressions