1
Різниця між динамічною логікою та часовою логікою
Щоб знайти різницю, я щойно стикався з твердженнями нижче про часову логіку у Вікіпедії : Інший варіант модальної логіки, що ділиться багатьма загальними ознаками з динамічною логікою, відрізняється від усіх вищезгаданих логік тим, що Пнуелі характеризував як "ендогенну" логіку, інші - "екзогенною" логікою. Під цим Пнуелі мав на увазі, що …