论文标题
被宣布
To Be Announced
论文作者
论文摘要
在这项调查中，我们回顾了动态认知逻辑，其方式用于量化信息变化。在此类逻辑中，我们提出了完整的公理化，重点关注涉及知识与此类量化器之间相互作用的公理，我们报告了它们的相对表现，可确定性以及模型检查和满意度的复杂性以及应用程序。我们专注于开放问题和新的研究方向。
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.
