多模态逻辑局部表性的充分条件
摘要：关于关系结构和多态逻辑，我们描述了保持局部分表性的操作。这为模态逻辑的局部分表性提供了新的足够的语义和公理条件。以下是主要结果。 我们证明了局部分表性不依赖于自反性。换句话说，给定一个框架类F，考虑应用自反闭包操作到F中每个框架的每个关系后得到的框架类Fr。我们证明了如果Fr的逻辑是局部分表的，则F的逻辑也是局部分表的。 然后我们考虑Kripke框架上的求和操作，其中一个框架族-summands通过另一个框架的元素进行索引。我们证明了如果索引的逻辑和求和元的逻辑都是局部分表的，则相应求和的逻辑也是局部分表的。 最后，利用前面的定理，我们描述了一个保持局部分表性的逻辑操作：我们提供了一组公式，通过这些公式将两个规范局部分表逻辑的融合扩展为局部分表的逻辑。
作者：Ilya B. Shapirovsky
论文ID：2212.07213
分类：Logic
分类简称：math.LO
提交时间：2023-08-22