Чтобы найти разницу, я только что столкнулся с утверждениями ниже о временной логике в Википедии :
Другой вариант модальной логики, разделяющий многие общие черты с динамической логикой, отличается от всех вышеупомянутых логик тем, что Пнуэли охарактеризовал как «эндогенную» логику, а другие - «экзогенную» логику. Под этим Пнуэли подразумевалось, что утверждения временной логики интерпретируются в универсальной поведенческой структуре, в которой единая глобальная ситуация меняется с течением времени, тогда как утверждения других логик делаются внешне для множества действий, о которых они говорят. Преимущество эндогенного подхода состоит в том, что он не делает никаких фундаментальных предположений о том, что вызывает то, что, поскольку среда изменяется со временем. Вместо этого временная логическая формула может говорить о двух не связанных частях системы, которые, поскольку они не связаны, молчаливо развиваются параллельно. В сущности, обычное логическое соединение временных утверждений является оператором одновременной композиции временной логики. Простота этого подхода к параллелизму привела к тому, что временная логика является модальной логикой выбора для рассуждения о параллельных системах с ее аспектами синхронизации, помех, независимости, взаимоблокировки, livelock, справедливости и т. Д.
Я не мог понять разницу, значительно. Разве динамическая логика не может охватить каждый управляемый временем аспект в аргументах, а также временную логику?
Или почему динамический не должен обрабатывать параллельные системы?
Не могли бы вы очистить дело?
источник