Lattice-valued modal propositional logic and its completeness.

Huixian Shi Guojun Wang

Published in: Sci. China Inf. Sci. (2010)

Keyphrases

propositional logic
nonmonotonic logics
propositional variables
first order logic
belief revision
lattice theory
proof procedure
modal logic
quantified boolean formulae
possibilistic logic
propositional satisfiability
davis putnam
domain knowledge
propositional formulas
satisfiability testing
horn logic