Default logic as dynamic doxastic logic
scientific article; zbMATH DE number 1523358