关于拓扑空间的努力
Announcement as effort on topological spaces
摘要：
我们提出了一个多智能体逻辑的知识，公共和任意公告，这是解释拓扑空间的子集空间语义的风格。任意公告模态的功能与子集空间逻辑中的努力模态类似，然而，它具有直观和语义差异。我们提供公理化的三个逻辑的基础上，这种设置，并证明其完整性。
英文摘要：
We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, and demonstrate their completeness.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
