Some Logics of Iterated Belief Change.

Published in: Stud Logica (1999)

Keyphrases

expressive power
modal logic
inference rules
database systems
computational properties
epistemic logic
propositional calculus
propositional dynamic logic
computer vision
decision trees
query language
classical logic
proof theory
proof procedures