Щоб знайти різницю, я щойно стикався з твердженнями нижче про часову логіку у Вікіпедії :
Інший варіант модальної логіки, що ділиться багатьма загальними ознаками з динамічною логікою, відрізняється від усіх вищезгаданих логік тим, що Пнуелі характеризував як "ендогенну" логіку, інші - "екзогенною" логікою. Під цим Пнуелі мав на увазі, що тимчасові логічні твердження інтерпретуються в рамках універсальної поведінкової системи, в якій з плином часу змінюється одна глобальна ситуація, тоді як твердження інших логік здійснюються зовнішньою кількістю дій, про які вони говорять. Перевага ендогенного підходу полягає в тому, що він не робить принципових припущень щодо того, що спричиняє те, що середовище змінюється з часом. Натомість тимчасова логічна формула може говорити про дві незв’язані частини системи, які через те, що вони між собою негласно пов'язані, розвиваються паралельно. По суті, звичайний логічний сполучник тимчасових тверджень є оператором одночасного складу часової логіки. Простота такого підходу до одночасності призвела до того, що часова логіка є модальною логікою вибору для міркувань про паралельні системи з її аспектами синхронізації, втручання, незалежності, тупикової ситуації, межі розвитку, справедливості тощо.
Я не міг усвідомити різницю, значно. Чи не може динамічна логіка охопити кожен керований часом аспект аргументів, а також тимчасову логіку?
Або чому динаміка не повинна працювати з одночасними системами?
Будь ласка, проясніть цю справу?