3
Mengapa menggunakan -calculus dan bukan LTL, CTL, CTL *?
Diketahui bahwa logika temporal LTL, CTL, CTL * dapat diterjemahkan / disematkan ke dalam -calculus. Dengan kata lain, (modal) -calculus menggolongkan logika ini, (yaitu lebih ekspresif.)μμ\muμμ\mu Bisakah Anda jelaskan / arahkan saya ke makalah / buku yang menguraikan hal ini. Secara khusus, adakah keadilan konkret, semangat, dll. Sifat-sifat tidak dapat …