Введение в динамическую эпистемическую логику-1

Состоялось первое занятие мини-курса «Введение в динамическую эпистемическую логику». Следующее занятие состоится 18 марта. В ходе курса будут затронуты следующие темы:  виды эпистемических и доксатических модальных операторов (« знаю », « допускаю », « считаю », « разумно допустить, что » и др.), формы группового знания (« everybody knows », « distributed knowledge », « common knowledge »), виды информационной динамики (публичное оглашение, радикальное обновление, консервативное обновление и др.).

Состоялось первое занятие мини-курса «Введение в динамическую эпистемическую логику». 

В ходе курса будут затронуты следующие темы:  виды эпистемических и доксатических модальных операторов (« знаю », « допускаю », « считаю », « разумно допустить, что » и др.), формы группового знания (« everybody knows », « distributed knowledge », « common knowledge »), виды информационной динамики (публичное оглашение, радикальное обновление, консервативное обновление и др.). В рамках курса будут обсуждаться классические задачи динамической эпистемической логики:  «чумазые дети», «рассуждающие мудрецы», а также  парадокс Фитча . 
См. также:

• Введение в динамическую эпистемическую логику-2
• Введение в динамическую эпистемическую логику-3
• Введение в динамическую эпистемическую логику-4

Литература:

• ван Бентем Й. Логика в действии. Введение // Vox. 2011. №10.
• http://www.logicinaction.org/
• Pacuit E. Dynamic Epistemic Logic I: Modeling Knowledge and Belief // Philosophy Compass. 2013. Vol. 8, № 9. P. 798–814.
• Pacuit E. Dynamic Epistemic Logic II: Logics of Information Change // Philosophy Compass. 2013. Vol. 8, № 9. P. 815–833.
• van  Ditmarsch H., van der  Hoek W., Kooi B. Dynamic Epistemic Logic. Dordrecht: Springer, 2007.
• van Ditmarsch H. Knowledge Games // Bulletin of Economic Research. 2001. Vol. 53, № 4. P. 249–273.
• Kooi B. Dynamic Epistemic Logic // Handbook of Logic and Language. Amsterdam: Elsevier, 2011. P. 671–690.
• Girard P., Roy O., Marion M. Dynamic Formal Epistemology. Dordrecht: Springer, 2011.
• van Benthem J. Logical dynamics of information and interaction. Cambridge: Cambridge University Press, 2010.
• van Benthem J. Modal Logic for Open Minds. Stanford: Center for the Study of Language and Information, 2010.
• van Benthem J. Logic in Games. Cambridge MA; L.: MIT Press, 2014.
• van Benthem J. Games in Dynamic-Epistemic Logic // Bulletin of Economic Research. 2001. Vol. 53, № 4. P. 219–248.
• Эпистемические головоломки
• Денисова В.Г. Использование теоретико‐игровой семантики в эпистемической логике / /Vita Cogitans: альманах молодых философов. – 2013. – №. 6.
• Виньков М. М., Фоминых И. Б. Рассуждения о знаниях и проблема логического всеведения. Часть I. Модальный подход //Искусственный интеллект и принятие решений. 2011. №. 4.
• Epistemic logics for multi-agent systems by Hans van Ditmarsch

 

---

Приглашаются все желающие, для оформления пропуска в НИУ ВШЭ, пожалуйста, заполните форму.