卷积代数：关系卷积、广义模态与关联代数
摘要：卷积是数学和计算中普遍存在的操作。Kripke半结构和区间逻辑的语义激发了对于量子值函数相对于三元关系的研究，这种关系被称为关系卷积。由此产生的关系卷积概念为定性和定量模型提供了泛化的二元和一元模态操作符，并在三元关系由部分半群的等式引起时提供了更常规的变体。提供了基于卷积的分类、线性和分段逻辑片段的定性应用语义。定量示例包括持续时间代数和持续时间演算中的均值代数。
作者：Brijesh Dongol, Ian J. Hayes and Georg Struth
论文ID：1702.04603
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22