Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

  • A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Евгений Золин выступил с докладом на научном семинаре в МГУ

16 мая на мехмате МГУ прошел научный семинар "Модальная и алгебраическая логика", в котором принял участие Евгений Золин, старший научный сотрудник. ЛогЛинФФа.


Тема доклада: "Пропозициональная динамическая логика PDL: теоремы о полноте и инвариантности"

Аннотация:

Доклад посвящен пропозициональной динамической логике PDL, ее синтаксису, семантике, выразительным возможностям, аксиоматике. Изложена основная идея относительно простого (и еще более упрощенного докладчиком) доказательства Козена и Париха (Kozen, Parikh, 1981) полноты логики PDL относительно конечных шкал Крипке. Кроме того, сделан обзор так называемых теорем о бисимуляционной инвариантности (англ. Bisimulation Invariance Theorems), характеризующих формулы различных языков (модального, инфинитарного модального, PDL, мю-исчисления и т.д.) как бисимуляционно инвариантных фрагментов соответствующих языков первого или высших порядков, а также теорем о бисимуляционной безопасности или устойчивости (англ. Bisimulation Safety Theorems), которые указывают для некоторого класса операций на двуместных отношениях в моделях Крипке необходимые и достаточные условия для того, чтобы новое отношение, получающееся в результате применения этой операции к имеющимся отношениям, всегда было согласовано с любой бисимуляцией.