实值模态逻辑
摘要：许多值模态逻辑的引入结合了通常的基普克框架语义和在世界上通过实数的格和群运算解释的连接词。 提供了一个标记的剖析系统，并获得了一个检查逻辑有效性的coNEXPTIME上界。 焦点是模态乘法片段，然后使用标记的剖析系统为一个允许剪切消除的证明系统和一个扩展了阿贝尔逻辑的乘法片段的公理系统建立完备性。
作者：Denisa Diaconescu, George Metcalfe, Laura Schn"uriger
论文ID：1706.02854
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22