论文标题
意识逻辑：基于Kripke的Heifetz-Meier-Schipper模型的演绎
Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model
论文作者
论文摘要
Heifetz，Meier和Schipper（HMS）提出了意识的格子模型。 HMS模型是无语法的，它排除了依靠形式语言诱导晶格的简单选择，并用一个纠缠的构造代表了不确定性和不认识，因此很难评估任何一个的属性。在这里，我们提出了一个基于Atom子集包含引起的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.
