Доклад Елены Поповой на семинаре «Современные проблемы математической логики»
21 апреля Елена Попова выступила с докладом на семинаре математического факультета НИУ ВШЭ «Современные проблемы математической логики» с докладом «Подходы к решению проблемы логического всеведения в эпистемической логике».
Аннотация:
Проблема логического всеведения заключается в замкнутости знания относительно логического следования, поэтому связана с чрезмерной
идеализацией познавательных способностей агентов - знание аксиом автоматически гарантирует знание всех следствий. В докладе будут
представлены возможные пути решения проблемы логического всеведения в эпистемической логике, в частности, мы рассмотрим логики с оператором осведомленности (Fagin R., Halpern J., 1988; van Benthem J., Velazquez-Quesada F., 2010) и их возможные модификации с темпоральным расширением эпистемической логики.
видео доклада
