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

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

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

См. также :

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

Литература:

• ван Бентем Й. Логика в действии. Введение // 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