Введение в динамическую эпистемическую логику
Состоялось заключительное занятие по курсу "Введение в динамическую эпистемическую логику". Курс был посвящен следующим темам: виды эпистемических и доксатических модальных операторов («знаю», «допускаю», «считаю», «разумно допустить, что» и др.), формы группового знания («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