分级模态逻辑与计数双模拟
本文研究了带有基数约束的分级模态逻辑在几个已知框架类别下的可满足性复杂度及其判定问题,并获得了紧密的复杂度界限,尤其是针对具有传递性框架的情况下缺乏树型模型性质的问题。
May, 2009
本文介绍了一个半定量的方法 —— 用阶数算术来将模态逻辑系统和贝叶斯推理结合起来。最终的系统可以将传统模态逻辑语义自然地,优雅地映射到新的系统中。我们声称该逻辑系统可以被完全有限地表述,并提供了对 “除去不可能的,剩下的,无论多么不可能都是真的” 这一句话的完美解释。此外,还证明了该逻辑系统的一个有限模型特性定理。
Apr, 2022
本文研究不确定性理论中的可能性理论、信念函数和不精确概率与模态逻辑之间的二元性质,提出了一种基于最小认知逻辑和波兰式逻辑的简化信念函数逻辑,并且给出了使用 Shafer 基本概率分配的语义。
Mar, 2023
该论文提出了一种包含线性不等式中计数模态的模态逻辑,证明了每个公式可以转化为等价的图神经网络(GNN),也证明了每个 GNN 可以转化为公式,说明可满足性问题是可判定的,并讨论了一些 PSPACE 内的变种。
Jul, 2023
本文旨在通过对模态操作符的引入,将模态引入到模糊几何逻辑的语言中,从而开发出一个用于研究 coalgebraic fuzzy geometric logic 的框架,并提出了一种 fuzzy-open predicate lifting 的概念来定义模态操作符,基于 endofunctor 上 fuzzy topological spaces 和 fuzzy continuous maps 等模型来建立 coalgebraic fuzzy geometric logic 的模型,并讨论了所定义模型的等价关系(bisimulations)。
May, 2022
提出了一种模态逻辑,在其中计数模态出现在线性不等式中。将每个公式转换为等价的图神经网络(GNN)。证明了广泛类别的 GNN 可以高效地转换为公式,从而明显改进了关于 GNN 的逻辑表达能力的文献。证明了可满足性问题的 PSPACE 完备性。这些结果将常规逻辑方法和 GNN 及其属性的推理前景结合起来,尤其适用于 GNN 查询、等价性检查等应用。证明了这种自然问题可以在多项式空间内解决。
Apr, 2024
该研究探讨了一个版本的线性时态逻辑,其命题片段是 Godel-Dummett 逻辑,并使用了两种自然语义学,一种是真值语义学,另一种是双关系语义学,证明了这些语义定义了相同的逻辑,并提出了决定语句有效性的算法以及一个用于 Godel 临时逻辑的演绎演算法,从而证明了所有的有效语句都能够用这个演算法证明。
Jun, 2023
本文探讨了线性时态逻辑(LTL)中,一类包括模态算子 F,G,X 和 U 的 Sahlqvist 公式具有一阶语言可定义的框架条件的对应关系。
Jun, 2022
该论文涉及描述逻辑的特性,首次引入普遍量化的概念,提出两种扩展的语义模型,包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明,在某些扩展的语义中,所得出的结论与经典的描述逻辑相符,并证明了某种程度上用于这种扩展的算法的多项式可判定性。
Aug, 2023