In this survey we review dynamic epistemic logics with modalities for quantification over information change. Of such logics we present complete axiomatizations, focussing on axioms involving the interaction between knowledge and such quantifiers, we report on their relative expressivity, on decidability and on the complexity of model checking and satisfiability, and on applications. We focus on open problems and new directions for research.
翻译:在这次调查中,我们审视了动态的认知逻辑和对信息变化进行量化的方式。在这种逻辑中,我们提出了完整的非同质化,侧重于涉及知识和此类量化因素之间相互作用的正反论,我们报告了这些逻辑的相对表达性、可变性、模型检查和可比较性的复杂性以及应用。我们关注的是开放的问题和新的研究方向。