Логика в действии. Введение
Й. ван Бентем
Аннотация. Динамический поворот в логике направлен на то, чтобы сделать понятия коммуникации и информирования объектами логического исследования. В данной работе хотелось бы коротко изложить новую версию этой программы и показать, каким образом могут сочетаться различные идеи из логики, философии, теории игр и computer science. В частности, мы обсудим эпистемические, динамические и временные логики, проблему ревизии убеждений (belief revision) и игровые логики.
Перевод К.А. Павлова