Formalizations for the Consequence Relation of Visser's Propositional Logic.

Published in: Reports Math. Log. (1999)

Keyphrases

propositional logic
belief revision
first order logic
quantified boolean formulae
situation calculus
possibilistic logic
proof procedure
nonmonotonic logics
belief change
davis putnam
machine learning
propositional satisfiability
solving hard
satisfiability testing