Disjunctive Propositional Logic and Scott Domains.

Longchun Wang Qingguo Li

Published in: TAMC (2020)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
quantified boolean formulae
lattice theory
search algorithm
satisfiability testing
belief change
proof procedure
artificial intelligence
search space
datalog programs
propositional formulas
davis putnam
horn logic