共识谓词的表达逻辑
摘要：在这篇论文中我们研究了Hennessy-Milner定理在一个普遍的背景下的应用，从转换系统转向至余代数，从相似性转向至共归谓词。我们通过提供适当的充分性和表达性概念，并给出了语义上的充分条件，来阐述一个逻辑如何完全表征余代数上的共归谓词。我们通过说明类似性、发散性和自动机上的行为度量的逻辑的例子来说明这种方法。
作者：Clemens Kupke and Jurriaan Rot
论文ID：2006.12465
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22