From Propositional Logic to Plausible Reasoning: A Uniqueness Theorem.

Kevin S. Van Horn

Published in: CoRR (2017)

Keyphrases

plausible reasoning
propositional logic
belief revision
belief change
possibilistic logic
valued logic
knowledge base
belief update
quantified boolean formulae
probability theory
davis putnam
first order logic
propositional satisfiability
lattice theory
proof procedure
satisfiability testing
epistemic states