On Counting Propositional Logic.

Melissa Antonelli Ugo Dal Lago Paolo Pistone

Published in: CoRR (2021)

Keyphrases

propositional logic
belief revision
first order logic
quantified boolean formulae
possibilistic logic
lattice theory
proof procedure
belief change
propositional satisfiability
solving hard
belief update
valued logic
horn logic