On Counting Propositional Logic and Wagner's Hierarchy.

Melissa Antonelli Ugo Dal Lago Paolo Pistone

Published in: ICTCS (2021)

Keyphrases

propositional logic
belief revision
first order logic
quantified boolean formulae
possibilistic logic
lattice theory
belief change
davis putnam
propositional satisfiability
knowledge base
search space
database design
satisfiability testing