An inner model theoretic proof of Becker's theorem.
Grigor SargsyanPublished in: Arch. Math. Log. (2019)
Keyphrases
- model theoretic
- proof theoretic
- decision procedures
- interactive theorem proving
- deductive databases
- description logics
- proof procedure
- presburger arithmetic
- operational semantics
- linear logic
- theorem proving
- default reasoning
- logic programs
- proof theory
- fixpoint
- probabilistic reasoning
- nonmonotonic reasoning
- integrity constraints
- modal logic
- quantifier elimination
- automated reasoning
- algebraic structure
- conjunctive queries
- logic programming
- constraint logic programming
- data model
- first order logic
- theorem prover