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

Логическая семантика

21.06. cостоялось заключительное в весеннем семестре заседание семинара «Логическая семантика».  В.В. Долгоруков рассказал о моделировании смаллиановских задач в динамической эпистемической логике. Семинар продолжит свою работу  осенью.