1
सीटीएल * और म्यू-पथरी
यह सर्वविदित है कि पेड़ / ग्राफ़ के गुणों को व्यक्त करने के लिए modal -calculusμμ\mu सबसे अधिक अभिव्यंजक लौकिक लॉगिक्स में से एक है, और CTL * कड़ाई से कम अभिव्यंजक -calculus की तुलना में कम है ।μμ\mu यहाँ मैं एक उदाहरण के लिए μμ\mu _ म्यू -क्युलकस सूत्र …