On counting propositional logic and Wagner's hierarchy.

Melissa Antonelli Ugo Dal Lago Paolo Pistone

Published in: Theor. Comput. Sci. (2023)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
lattice theory
propositional satisfiability
proof procedure
davis putnam
valued logic
theorem proving
propositional formulas
solving hard
satisfiability testing