Adding the Everywhere Operator to Propositional Logic.

David Gries Fred B. Schneider

Published in: J. Log. Comput. (1998)

Keyphrases

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