意识逻辑：海菲茨-迈耶-席佩尔模型的Kripke演绎
Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model
摘要：
Heifetz，Meier和Schipper（HMS）提出了意识的晶格模型。HMS模型是无语法的，这排除了依赖于形式语言来诱导格的简单选择，并且用一个纠缠的构造来表示不确定性和无意识，使得难以评估任何一个的属性。在这里，我们提出了一个模型的基础上格的Kripke模型，诱导原子子集列入，其中的不确定性和无意识是分开的。我们证明了模型是等价的，通过定义它们之间的转换，保持公式的满足，并通过我们和HMS的结果获得完整性。
英文摘要：
Heifetz, Meier and Schipper (HMS) present a lattice model of awareness. The HMS model is syntax-free, which precludes the simple option to rely on formal language to induce lattices, and represents uncertainty and unawareness with one entangled construct, making it difficult to assess the properties of either. Here, we present a model based on a lattice of Kripke models, induced by atom subset inclusion, in which uncertainty and unawareness are separate. We show the models to be equivalent by defining transformations between them which preserve formula satisfaction, and obtain completeness through our and HMS' results.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
