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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google