A Sequent Formulation of Conditional Logic Based on Belief Change Operations.

Published in: Stud Logica (2004)

Keyphrases

belief change
belief revision
epistemic states
belief update
conditional logic
prime implicates
propositional logic
iterated belief revision
probability theory
minimal change
inference rules
knowledge representation
horn logic
reinforcement learning
nonmonotonic reasoning
update operators
special case