Constrained Pseudo-Propositional Logic.

Ahmad-Saher Azizi-Sultan

Published in: Logica Universalis (2020)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
quantified boolean formulae
proof procedure
lattice theory
davis putnam
propositional satisfiability
horn logic
solving hard
satisfiability testing
knowledge base
relational databases
satisfiability problem