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

Доклад Евгения Золина на "Ломоносовских чтениях"

21 октября состоялся онлайн-доклад Евгения Золина "Модальные логики с оператором транзитивного замыкания" в рамках Ежегодной научной конференции "Ломоносвские чтения-2020".

Золин Е.Е. Модальные логики с оператором транзитивного замыкания (по совместной работе со Станиславом Кикотем и Ильёй Шапировским)

Аннотация доклада:

Мы формулируем достаточные условия для того, чтобы модальная логика с оператором транзитивного замыкания была полна по Крипке. Более точно, мы показываем, что если модальная логика допускает так называемые определимые фильтрации, то ее обогащение модальностью транзитивного замыкания (и соответствующими аксиомами Сегерберга) будет полна по Крипке, более того, получающаяся логика будет полна относительно конечных шкал (финитно аппроксимируема) и тоже будет допускать определимые фильтрации. В качестве приложений мы получаем полноту относительно конечных шкал для PDL-подобных расширений полимодальных логик, которые допускают определимые фильтрации. В конце доклада формулируются некоторые открытые вопросы. Доклад по статье: Kikot S., Shapirovsky I., Zolin E. Modal logics with transitive closure: Completeness, decidability, filtration/ Advances in Modal Logic, vol. 13. College Publications London, 2020, pp. 369–388.

См. также:

Слайды

Золин Е. Модальные логики с оператором транзитивного замыкания (Ломоносовские чтения 2020)