Conditional doxastic models: a qualitative approach to dynamic belief revision - Baltag, A; Smets, S (Electronic Notes in Theoretical Computer Science, 2006)