Substitutional Definition of Satisfiability in Classical Propositional Logic.

Anton Belov Zbigniew Stachniak

Published in: SAT (2005)

Keyphrases

propositional logic
horn logic
belief revision
satisfiability testing
valued logic
first order logic
possibilistic logic
davis putnam
lattice theory
belief change
proof procedure
quantified boolean formulae
propositional satisfiability
propositional formulas
prime implicates