Dynamic epistemic logics of introspection
scientific article; zbMATH DE number 6858840