Krister Segerberg Irrevocable Belief Revision in Dynamic Doxastic Logic. 287-306 1998 39 Notre Dame Journal of Formal Logic 3 db/journals/ndjfl/ndjfl39.html#Segerberg98