Propositional Logic of Context.

Sasa Buvac Ian A. Mason

Published in: AAAI (1993)

Keyphrases

propositional logic
first order logic
belief revision
lattice theory
multi context systems
possibilistic logic
satisfiability testing
quantified boolean formulae
fuzzy logic
solving hard
belief change
proof procedure
davis putnam