Pertanyaan yang diberi tag linear-temporal-logic

Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun...

Untuk mengetahui perbedaannya, saya baru saja menemukan pernyataan di bawah tentang logika temporal di Wikipedia : varian lain dari logika modal yang berbagi banyak fitur umum dengan logika dinamis, berbeda dari semua logika yang disebutkan di atas dengan menjadi apa yang telah ditandai oleh...

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,...