菲利普·巴尔比亚尼;廷切夫、廷科;迪米特·瓦卡雷洛夫 基于区域的空间理论的模态逻辑。 （英语） Zbl 1142.03012号 芬达姆。通知。 81，编号1-3，29-82（2007）. 介绍了基于区域的空间命题模态逻辑（PRMLS）。它们适用于基于区域的空间理论中的区域推理。这些理论，也被称为无意义理论，认为点的概念过于抽象，不能被视为原始概念。最小逻辑的Hilbert式公理化{左}_{\min}）基于一组公理和modus-ponens规则。该系统在所有帧的类中都是完整的。证明了\({左}_{\min}）允许过滤，并且在验证逻辑定理的有限框架类中是完全的。考虑了与图的可着色性有关的一组逻辑，并给出了逻辑的其他应用。审核人：达马斯·格鲁斯卡（布拉迪斯拉发） 引用于2评论引用于22文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 68T27型 人工智能中的逻辑 关键词：空间模态逻辑;基于区域的空间理论;联系关系;空间离散模型;空间的连续模型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人，Fundam。通知。81，编号1--3，29-82（2007；Zbl 1142.03012）