Логическая семантика–3
Состоялось очередное заседание научно-учебного семинара "Логическая семантика". Занятие было посвящено обсуждению проблемы взаимодействия темпоральных и алетических модальных операторов, а также проблеме квантификации в модальной логике.
Состоялось очередное заседание научно-учебного семинара "Логическая семантика". Занятие было посвящено обсуждению проблемы взаимодействия темпоральных и алетических модальных операторов, а также проблеме квантификации в модальной логике.
Дата
18 февраля
2015
В статье упомянуты