A Finite-Model-Theoretic View on Propositional Proof Complexity.
Erich GrädelMartin GroheBenedikt PagoWied PakusaPublished in: Log. Methods Comput. Sci. (2019)
Keyphrases
- model theoretic
- proof procedure
- proof theoretic
- decision procedures
- deductive databases
- theorem proving
- description logics
- operational semantics
- logic programs
- fixpoint
- presburger arithmetic
- propositional logic
- probabilistic reasoning
- default reasoning
- linear logic
- first order logic
- autoepistemic logic
- automated reasoning
- integrity constraints
- probabilistic logic
- theorem prover
- horn clauses
- constraint satisfaction
- proof theory
- constraint satisfaction problems
- np complete