简单模型的空间逻辑

@第{Loreti2021ASL条，title＝{用于简单模型的空间逻辑}，author={米歇尔·洛雷蒂（Michele Loreti）和米歇拉·夸德里尼（Michela Quadrini}），journal={Log.Methods计算科学}，年份={2021}，体积={19}，网址={https://api.semanticscholar.org/CorpusID:256901239}}
  • M.洛雷蒂M.Quadrini公司
  • 出版在里面日志。方法计算。科学。 2021年5月18日
  • 计算机科学、数学、工程
  • 日志。方法计算。科学。
本文提出了一种在拓扑对象上解释的空间逻辑，能够有效地表示曲面和体积，从而推广具有高阶边的图，并讨论了如何通过正确完整的模型检查算法验证逻辑公式的满足性。
[PDF]语义阅读器

本文中的数字

2引文

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

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

多面体模型和SLCS_eta的弱单纯形双相似性——扩展版本

在空间逻辑和多面体模型的空间模型检验（连续空间可视化的数学基础）的背景下，提出了单纯形双相似性的减弱，并证明了两点是弱单纯形二相似的，只要它们的重复是弱$\pm$-双相似的。

69参考文献

自组织系统中空间特性运行时评估的逻辑语言

提出了一种用于在运行时验证自组织系统基于图形的全局特性的逻辑语言，该语言扩展了最近提出的基于逻辑推理的化学协调模型。

闭合空间的空间逻辑和空间模型检查

本教程介绍了一种拓扑启发的方法的最新工作，该方法用于根据物理空间对空间属性进行形式验证，并说明了使用空间包围操作符对框架的扩展，从而导出闭合空间SLCS的空间逻辑，以及它与时态逻辑CTL的结合，导致STLCS。

静态BiLog：空间结构的统一语言

引入了一个通用框架BiLog，其公式表征了单体范畴，它被视为框架双图的第一个实例，双图是空间结构和分布式计算的一个有趣（元）模型。

闭合空间的模型检查空间逻辑

提出了一种基于拓扑学的方法，用于根据物理空间对空间属性进行形式验证，该方法起源于模态逻辑的拓扑解释传统，可追溯到早期的逻辑学家（如塔斯基）。

揭示自然界和社会中复杂网络的重叠社区结构

在为社区统计定义了一组新的特征量之后，本工作应用了一种有效的技术来大规模探索重叠社区，发现重叠是显著的，并且引入的分布揭示了网络的普遍特征。

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

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

离散空间运动的广义拓扑视图

指定和验证空间的属性

这项工作定义了一个合适的逻辑，源于模态逻辑的拓扑解释传统，可以追溯到早期的逻辑学家，如塔斯基，并将拓扑定义提升到更一般的设置，也包括离散的、基于图形的结构。

离散空间的Mereopology

试图通过发展一种以离散空间模型为前提的高级定性空间理论，利用离散框架的内在度量来定义区域差异性的度量，从而提供一种类似于连续变化的度量，来缩小空间连续模型和离散模型之间的差距。

离散Mereotopology

本章介绍了mereotopology及其离散变量的介绍性处理，并为有兴趣进一步深入研究该主题的读者提供了参考。
...