Propositional Logic of Essence.

Fabrice Correia

Published in: J. Philos. Log. (2000)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
possibilistic logic
lattice theory
satisfiability testing
propositional satisfiability
proof procedure
multi context systems
artificial intelligence
temporal logic
propositional formulas
solving hard
horn logic