Разница между динамической логикой и временной логикой

12

Чтобы найти разницу, я только что столкнулся с утверждениями ниже о временной логике в Википедии :

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

Я не мог понять разницу, значительно. Разве динамическая логика не может охватить каждый управляемый временем аспект в аргументах, а также временную логику?

Или почему динамический не должен обрабатывать параллельные системы?

Не могли бы вы очистить дело?

робототехники
источник

Ответы:

0

ОК, динамическая логика добавляет утверждения, которые определяют, какая модальная ситуация должна существовать после действия, однако способ, которым это действие указано. Во временной логике модальный аспект не подчеркивается. Например, если мы рассмотрим динамическую алетическую логику, бит алеты будет отсутствовать во временной логике. Надеюсь, это поможет.

счет
источник