公布
To Be Announced
University of Toulouse（图卢兹大学）；CNRS（法国国家科学研究中心）；IRIT（图卢兹计算机科学研究所）
摘要：
在这次调查中，我们回顾动态认知逻辑与信息变化的量化方式。这样的逻辑，我们提出完整的公理化，专注于公理涉及知识和这样的量词之间的相互作用，我们报告其相对的表达能力，可判定性和复杂性的模型检验和可满足性，并在应用程序。我们专注于开放的问题和新的研究方向。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
