Анна Задаля//Темпоральные логики LTL и CTL.

НИС "Современные проблемы математической логики" в ВШЭ. Дата и время: 14.03.2025 в 16:20 Докладчик: Анна Задаля Название: Темпоральные логики LTL и CTL. Аннотация. Доклад будет посвящён темпоральным логикам LTL и CTL. Мы познакомимся с базовыми определениями, касающимися этой темы. Данные логики являются расширениями классической логики высказываний, полученными путём добавления специальных модальностей. Эти модальности (темпоральные операторы) позволяют формулировать утверждения про факты истинность которых может меняться с течением времени. Предварительных знаний не требуется, все определения будут даны в процессе доклада.