一句话：将单纯复形推广为半单纯集，为分布式知识认知逻辑建立新语义并给出可靠完备公理化。
近年来，基于单纯复形的多智能体认知逻辑模型不断涌现，产生了多种逻辑与公理化变体。本文进一步泛化这一框架：几何上从单纯复形推广到半单纯集，并据此为带有分布式知识模态的认知逻辑定义新语义，其中一组智能体可以区分两个世界，即使组内每个个体都无法区分它们。作者指出这些模型是 Kripke 模型的一种推广——“伪模型”（pseudo-models）的几何对应物。文章还说明如何将先前研究的各种单纯模型变体恢复为本文模型的子类，并为每一类给出可靠且完备的公理化。
In recent years, a new class of models for multi-agent epistemic logic has emerged, based on simplicial complexes. Since then, many variants of these simplicial models have been investigated, giving rise to different logics and axiomatizations. In this paper, we present a further generalization, which encompasses all previously studied variants of simplicial models. Geometrically, this is achieved by generalizing beyond simplicial complexes, and considering instead semi-simplicial sets. By doing so, we define a new semantics for epistemic logic with distributed knowledge, where a group of agents may distinguish two worlds, even though each individual agent in the group is unable to distinguish them. As it turns out, these models are the geometric counterpart of a generalization of Kripke models, called "pseudo-models". We show how to recover the previously defined variants of simplicial models as sub-classes of our models; and give a sound and complete axiomatization for each of them.