Состоялось очередное заседание научно-учебного семинара "Логическая семантика". Занятие было посвящено обзору основных систем модальных логик (K, S4, S5 и др.) и их дедуктивных свойств. См.: базовые определения.pdf
Состоялось очередное заседание научно-учебного семинара "Логическая семантика". Занятие было посвящено обзору основных систем модальных логик (K, S4, S5 и др.) и их дедуктивных свойств. См.: базовые определения.pdf
