1
CTL * 및 mu-calculus
이것은 잘 알려져 있다는 모달 -calculusμμ\mu 나무 / 그래프의 특성을 표현하기위한 가장 시간적 논리 표현 중 하나 인 것을 CTL *이 엄격 이하 표현력보다 -calculus.μμ\mu 여기서는 가능한 한 간단하고 CTL *로 표현할 수없는 -calculus 공식 의 예를 묻고 싶습니다. 고유의 의미를 설명하기를 바랍니다 (고정 소수점 공식은 빨리 읽을 수 없게됩니다). …