Вопросы с тегом «linear-temporal-logic»

28
Генерация комбинаций из набора пар без повторения элементов

У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, чтобы ни одно из...

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

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