Questions tagged «mu-calculus»

1
CTL *和微演算
众所周知,模态μμ\mu-演算是表达树/图属性的最具表现力的时态逻辑之一,而CTL *的表现力远小于μμ\mu-结石。 在这里我想问一个例子 μμ\mu-calculus公式,尽可能简单,在CTL *中无法表达,并希望对其含义进行解释(定点公式很快变得难以理解)。对于“具体”简单示例的任何良好参考也将是很棒的! 先感谢您
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.