Partiality and Games: Propositional Logic.

Gabriel Sandu Ahti Pietarinen

Published in: Log. J. IGPL (2001)

Keyphrases

propositional logic
first order logic
belief revision
possibilistic logic
lattice theory
proof procedure
game theory
quantified boolean formulae
satisfiability testing
game theoretic
davis putnam
machine learning
artificial intelligence
knowledge representation
np complete
valued logic