Запитання з тегом «temporal-logic»

1
Різниця між динамічною логікою та часовою логікою
Щоб знайти різницю, я щойно стикався з твердженнями нижче про часову логіку у Вікіпедії : Інший варіант модальної логіки, що ділиться багатьма загальними ознаками з динамічною логікою, відрізняється від усіх вищезгаданих логік тим, що Пнуелі характеризував як "ендогенну" логіку, інші - "екзогенною" логікою. Під цим Пнуелі мав на увазі, що …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.