多关系的模态代数
摘要：在基于关系代数和势寓言的多关系语言上，我们形式化了Peleg、Nerode和Wijesekera的并发动态逻辑中的模态运算符，使用在一个相关文章中开发的多关系中的关系近似运算符。我们将Nerode和Wijesekera的方框运算符与多关系的关系近似运算符以及两个通过不同类型的确定性多关系来近似多关系的相关运算符相关联。我们提供了Goldblatt关于并发动态逻辑的公理的代数上的正确性证明作为一个应用。
作者：Hitoshi Furusawa, Walter Guttmann, Georg Struth
论文ID：2305.11346
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-16