Семинар "Логическая семантика"

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

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

Литература:

• Modal logic // http://plato.stanford.edu/entries/logic-modal/
• Sider T. Logic for Philosophy Oxford: Oxford University Press, 2007
• Chagrov. A., Zakharyaschev M. Modal Logic, Oxford: Oxford University Press, 1997.