The Model-Theoretic Expressiveness of Propositional Proof Systems.

Erich Grädel Benedikt Pago Wied Pakusa

Published in: CSL (2017)

Keyphrases

model theoretic
proof theoretic
proof procedure
artificial intelligence
description logics
fixpoint
machine learning
presburger arithmetic
decision procedures
propositional logic
first order logic
expert systems
search algorithm
deductive databases
special case
autoepistemic logic
databases