Доклады сотрудников МЛ ЛогЛинФФ на конференции «Четырнадцатые Смирновские чтения по логике»
Сотрудники МЛ ЛогЛинФФ приняли участие в конференции «Четырнадцатые Смирновские чтения по логике», которая проходила с 19 по 21 июня.
Елена Драгалина-Черная представила доклад «Абстрактные логики как структуры и классификации структур».
Игорь Зайцев выступил с докладом «Аксиоматические исчисления для интуиционистских аналогов логик контрфактических кондиционалов».
Михаил Рыбаков совместно с Андреем Кудиновым представили доклад «Сложность константных фрагментов ненормальных модальных логик», и совместно с Михаилом Щербаковым — доклад «Логики с аксиомой конвергентности: сложность при малом числе переменных в языке».
Виталий Долгоруков и Елена Попова выступили с докладом «Категория эвиденциальности с точки зрения динамической эпистемической логики».
Ангелина Боброва, Александр Поддьяков, Владислав Аксиотис представили доклад «Проясняет ли логика семантику условных высказываний естественного языка?»
Виктория Денисова и Рикардо Пераса Кавассане сделали доклад «Epistemic Constraints and Cognitive Distortions: A Quasi-Truth Perspective».
Участники проекта «Международное академическое сотрудничесто» тоже приняли участие в конференции.
Вальтер Карниэлли выступил с докладом «A Survey of the Brazilian Paraconsistency Program and Its Potentialities».
Марсело Конильо представил доклад «On Morgado and Sette’s implicative hyperlattices as models of da Costa logic С_w».