Модальная логика и приложения (А.В. Кудинов, осень 2016)

Лектор — доц. А.В. Кудинов

Анонс

Данный курс будет посвящен тем областям модальной логики, которые в большей степени можно отнести к Computer Science. А именно речь пойдет о
- временные модальные логики и верификация программ
- эпистемическая модальная логика и ее применения в мультиагентных системах.