A Model-Theoretic characterization of Monadic second order Logic on Infinite Words.
Silvio GhilardiSamuel J. van GoolPublished in: J. Symb. Log. (2017)
Keyphrases
- model theoretic
- deductive databases
- description logics
- proof theoretic
- operational semantics
- decision procedures
- monadic second order logic
- logic programs
- default reasoning
- fixpoint
- probabilistic reasoning
- expressive power
- data complexity
- databases
- integrity constraints
- automated reasoning
- theorem proving
- regular expressions
- tree automata
- multi agent