A model-theoretic characterization of monadic second order logic on infinite words.
Silvio GhilardiSamuel J. van GoolPublished in: CoRR (2015)
Keyphrases
- model theoretic
- deductive databases
- description logics
- operational semantics
- proof theoretic
- decision procedures
- logic programs
- fixpoint
- monadic second order logic
- probabilistic reasoning
- default reasoning
- expressive power
- integrity constraints
- probabilistic inference
- artificial intelligence
- expert systems
- regular expressions
- query language
- tree automata
- multi agent
- knowledge base