Доклад Даниила Хайтовича "Прояснение аксиоматики эпистемической логики с общим знанием"

Даниил Хайтович
стажер-исследователь МЛ ЛогЛинФФ

выступит с докладом:

"Прояснение аксиоматики эпистемической логики с общим знанием"

Аннотация:

Стандартная аксиоматизация эпистемической логики с общим знанием содержит в себе аксиому наибольшей неподвижной точки: если в группе есть общее знание, что  φ, то все в этой группе знают, что  φ и что в группе есть общее знание о  φ. Данная аксиома не выглядит интуитивно понятной. 
В статье «On the axiomatisation of common knowledge» авторы предлагают заменить аксиому неподвижной точкой более ясной: если в группе есть общее знание, что все знают, истинно ли φ, значит, есть общее знание о том, истинно ли φ. Далее авторы доказывают, что в случае с эпистемической логикой с общим знанием S5C новая аксиоматика эквивалентна стандартной.
Мы рассмотрим предлагаемую новую аксиоматику, а также попробуем прояснить стандартную через погружение эпистемической логики с общим знанием в модальное  μ-исчисление, проводя аналогии с похожими модальностями в темпоральной логике.

Основные источники:
1. Herzig, A., & Perrotin, E. (2020). On the Axiomatisation of Common Knowledge.
2. Alberucci, L., & Jäger, G. (2002). The modal µ-calculus and the logic of common knowledge.   

Zoom

Идентификатор конференции: 956 6971 8556

При возникновении вопросов пишите по адресу llfp@hse.ru