Теория игр и эпистемическая логика – 3

21 апреля в 17.00 состоялось очередное заседание семинара "Теория игр и эпистемическая логика".

Семнар был посвящен обсуждению базовых понятий динамической эпистемической логики (операторам "агент знает, что...", "агент допускает, что...", "публично объявляется, что.." ), а также решению классической задачи о "чумазых детях".

См. материалы семинара: