Rewriting with Linear Inferences in Propositional Logic.

Published in: RTA (2013)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
lattice theory
quantified boolean formulae
davis putnam
belief change
propositional formulas
proof procedure
propositional satisfiability