Логическая семантика - 12

19 октября в 17.00 состоялся 12 семинар "Логическая семантика". Семинар был посвящен формальным реконструкциям средневековых "диспутов с предписаниями" (obligationes). Участники семинара обсудили различные типы и особенности диспутов и возможность их формализации с помощью динамических эпистемических логик. Основу семинара составил close-reading статьи доктора С. Укельман "A dynamic epistemic logic approach to modeling Obligationes" 

19 октября в 17.00 состоялся 12 семинар "Логическая семантика". Семинар был посвящен формальным реконструкциям средневековых "диспутов с предписаниями" (obligationes). Участники семинара обсудили различные типы и особенности диспутов и возможность их формализации с помощью динамических эпистемических логик. Основу семинара составил close-reading статьи доктора С. Укельман "A dynamic epistemic logic approach to modeling Obligationes"