多关系的决定论
摘要：二进制多关系可以建模交替的非确定性，例如在游戏或与环境交互的非确定性演化系统中。这样的系统可以在交替的两个层次上表现出部分或全部的功能行为，因此非确定性行为可能仅在一个层次上发生，也可能在两个层次上发生，或者根本不发生。我们研究了基于关系代数和动力学并发逻辑的多关系语言中的内部和外部部分和完全功能多关系的类。虽然已知一般多关系不构成一个范畴，但我们证明了上述的确定性多关系类对于从并发动态逻辑中的Peleg组合以及有时也对于量化类型来说构成范畴。其中一些同构于二进制关系的范畴。我们还介绍了通过二进制关系或确定性多关系来近似多关系的确定化映射。这样的映射对于在多关系上定义模态运算符非常有用。
作者：Hitoshi Furusawa, Walter Guttmann, Georg Struth
论文ID：2305.11344
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-16