Axiomatizations and Computability of Weighted Monadic Second-Order Logic.

Antonis Achilleos Mathias Ruggaard Pedersen

Published in: CoRR (2021)

Keyphrases

monadic second order logic
expressive power
tree automata
knowledge base
first order logic
regular expressions
data mining
context sensitive
part of speech
data complexity
decision procedures