The Propositional Logic of Elementary Tasks.

Giorgi Japaridze

Published in: Notre Dame J. Formal Log. (2000)

Keyphrases

propositional logic
first order logic
belief revision
lattice theory
quantified boolean formulae
possibilistic logic
belief change
proof procedure
solving hard