Журнальный клуб Интелрос » VOX » №10, 2011
Динамический поворот в логике направлен на то, чтобы сделать понятия коммуникации и информирования объектами логического исследования. В данной работе хотелось бы коротко изложить новую версию этой программы и показать, каким образом могут сочетаться различные идеи из логики, философии, теории игр и computer science. В частности, мы обсудим эпистемические, динамические и временные логики, проблему ревизии убеждений (belief revision) и игровые логики