यह सर्वविदित है कि पेड़ / ग्राफ़ के गुणों को व्यक्त करने के लिए modal -calculus सबसे अधिक अभिव्यंजक लौकिक लॉगिक्स में से एक है, और CTL * कड़ाई से कम अभिव्यंजक -calculus की तुलना में कम है ।
यहाँ मैं एक उदाहरण के लिए _ म्यू -क्युलकस सूत्र का उदाहरण पूछना चाहता हूं , जो कि CTL * में स्पष्ट नहीं है, और उम्मीद है कि इसके अर्थ की व्याख्या के लिए (निश्चित-सूत्र सूत्र जल्दी से अपठनीय हो जाते हैं)। एक "ठोस" सरल उदाहरण के लिए कोई भी अच्छा संदर्भ भी बहुत अच्छा होगा!
पहले ही, आपका बहुत धन्यवाद