不纯正简单复合体：完全公理化

@文章{Randrianomentsoa2022ImpureSC，title={不纯正单纯复合体：完全公理化}，author={Rojo Fanamperana Randrianomentsoa和Hans van Ditmarsch和Roman Kuznets}，journal={Log.Methods计算科学}，年份={2022}，体积={19}，url={https://api.semanticscholar.org/CorpusID:254017763}}
提出了一种不纯复形类逻辑的公理化方法，完备性证明涉及到标准单纯形模型的新构造，并且需要仔细处理未定义的公式。
[PDF]语义阅读器
6引文
极具影响力的引文
2
背景引文
4
方法引文
1
结果引文
1

本文中的数字

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

6引文

分布式知识的半简单集模型

本文提出了一个进一步的概括，它包含了以前研究过的简单模型的所有变体，并为具有分布式知识的认知逻辑定义了一种新的语义，其中一组代理可以区分两个世界，即使组中的每个代理都无法区分它们。

错误主体认识逻辑的简单模型

通过消除模型必须是纯模型的假设，这项工作可以超越通常的克里普克语义学，研究参与世界的主体数量可能不同的认知逻辑，系统地对设计选择进行分类，并将相应的逻辑公理化。

不纯正单形复合体的二值和三值语义

本文的主要结果是确定了主要的相关区别是真值的数量，并通过将三值语义嵌入到二值语义中的新方法来弥合这种差异。

色超图的多重认知逻辑

逻辑包含了标准的认知逻辑，是它的保守扩展，语义是在色超图中给出的，色超图是色单形复数的推广，最近被用于对分布式系统中的知识进行建模。

协同知识

这项工作提出了协同知识的概念，这使得有可能建模代理人之间的关系和群体将拥有的知识，如果代理人共享他们所有的个人知识。

通缉死者或生者：不纯正简单复合体的认识逻辑

这项工作提出了一个公理化，即模态逻辑S5的一个版本，并表明不纯单形复数对应于某些Kripke模型，其中代理的可及性关系仅是域子集上的等价关系。

63参考文献

通缉死者或生者：不纯正简单复合体的认识逻辑

这项工作提出了一个公理化，即模态逻辑S5的一个版本，并表明不纯单形复数对应于某些Kripke模型，其中代理的可及性关系仅是域子集上的等价关系。

分布式知识的半简单集模型

本文提出了一个进一步的概括，它包含了以前研究过的简单模型的所有变体，并为具有分布式知识的认知逻辑定义了一种新的语义，其中一组代理可以区分两个世界，即使组中的每个代理都无法区分它们。

知识与单纯情结

本文综述了如何解释知识、信念、互模拟的所有概念，相互的、分布的和共同的知识的群体概念，以及以简单行动模型形式出现的动力学。

研究分布式任务可计算性的动态认识逻辑的简单复杂模型

本文利用动态认知逻辑（DEL）研究了一组智能体相互通信后认知简单复杂模型的变化，并在DEL和分布式可计算性拓扑理论之间架起了一座桥梁，该理论研究了共享内存或消息传递体系结构中的任务可解性。

KB4n的一个简单模型：具有可能死亡的主体的认识逻辑

这项工作扩展了克里普克模型的理论，将不一定纯粹的简单模型包括在内，并用进程可能崩溃的同步系统的分布式计算示例进行了说明。

从几何语义到异步可计算性

通过在协议复合体的单纯形和后一种语义中的双同伦类之间建立一对一的关系，描述了分布式计算的两种几何方法：协议复合体和有向代数拓扑之间的联系。

异步可计算性的拓扑结构

这项工作引入了一种新的任务形式主义，基于经典代数拓扑和组合拓扑的概念，其中任务的可能输入和输出值都与称为简单复数的高维几何结构相关联，并根据这些复合体的拓扑性质来表征可计算性。

计算同步和异步系统连通性的公理方法

同步消息传递和拓扑概述

基于组合拓扑的分布式计算

...