Perbedaan antara logika dinamis dan logika temporal

12

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 adalah logika "eksogen". Dengan Pnueli ini berarti bahwa pernyataan logika temporal ditafsirkan dalam kerangka perilaku universal di mana situasi global tunggal berubah dengan berlalunya waktu, sedangkan pernyataan logika lain dibuat secara eksternal untuk beberapa tindakan yang mereka bicarakan. Keuntungan dari pendekatan endogen adalah tidak membuat asumsi mendasar tentang apa yang menyebabkan perubahan lingkungan seiring dengan waktu. Alih-alih formula logika temporal dapat berbicara tentang dua bagian yang tidak berhubungan dari suatu sistem, yang karena mereka tidak terkait secara diam-diam berevolusi secara paralel. Akibatnya konjungsi logis biasa dari pernyataan temporal adalah operator komposisi konkuren dari temporal logic. Kesederhanaan dari pendekatan konkurensi ini telah menghasilkan logika temporal menjadi logika modal pilihan untuk penalaran tentang sistem konkuren dengan aspek-aspek sinkronisasi, interferensi, independensi, jalan buntu, livelock, keadilan, dll.

Saya tidak bisa menyadari perbedaannya. Tidak bisakah logika dinamis mencakup setiap aspek yang didorong oleh waktu dalam argumen, dan juga logika temporal?

Atau mengapa dinamis tidak seharusnya menangani sistem bersamaan?

Tolong jelaskan kopernya.

Roboticist
sumber

Jawaban:

0

OK, logika dinamis menambahkan pernyataan yang menentukan situasi modal apa yang harus ada mengikuti tindakan, namun cara tindakan ini ditentukan. Dalam logika temporal, aspek modal tidak ditekankan. Sebagai contoh, jika kita mempertimbangkan logika alethic dinamis, bit alethic akan hilang dari logika temporal. Saya harap ini membantu.

tagihan
sumber