1
Perbedaan antara logika dinamis dan logika temporal
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 Pnueli sebagai logika "endogen", yang lain …