#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Дата и время: 15.11.2024 в 16:20

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Дата и время: 15.11.2024 в 16:20

Докладчик: Анна Задаля

Название: Сложность логики LTL.
Темпоральные логики являются расширениями классической логики высказываний, полученными путём добавления специальных модальностей. Эти модальности, темпоральные операторы, позволяют формулировать утверждения, истинность которых может меняться с течением времени. Простота и выразительность темпоральных логик позволяют использовать их для описания работы различных систем, когда важно уделить внимание последовательности переходов между различными состояниями системы. Логика LTL, также известная как логика линейного времени, впервые была описана в [1].
Данный доклад будет посвящён вычислительной сложности логики линейного времени, а также некоторых её фрагментов.
[1] A. Pnueli. The temporal logic of programs, In Proceedings of the 18th Annual Symposium on Foundations of Computer Science (Providence, RI.). IEEE, New York, 1971, pp. 46-57.

🔗 Логика в Москве


➰ ВК