A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words.
Colin RibaPublished in: IFIP TCS (2012)
Keyphrases
- model theoretic
- proof theoretic
- decision procedures
- description logics
- presburger arithmetic
- deductive databases
- monadic second order logic
- operational semantics
- linear logic
- theorem proving
- default reasoning
- fixpoint
- proof theory
- logic programs
- expressive power
- probabilistic reasoning
- nonmonotonic reasoning
- modal logic
- tree automata
- special case
- integrity constraints
- data complexity
- theorem prover
- situation calculus
- regular expressions