Laboratory of Mathematical Logic

Пятница, 19 октября, комната 106. Начало в 18:00.

Докладчик: В. Жижкун.

МОДАЛЬНЫЕ ЛОГИКИ И СЕМАНТИКИ КРИПКЕ

Модальные логики получаются из традиционной пропозициональной добавлением новых "модальных" операторов и "модальных" аксиом (примеры: логика возможности/необходимости, темпоральная логика). Весьма удобным средством не только для интерпретации, но и для исследования получающихся формальных аксиоматических систем оказались модели Крипке (1960-е гг.), системы отношений над множествами.

В докладе будет рассказано, что из себя представляют семантики Крипке (relational structures) и как они могут быть использованы.

Изложение основано на первой главе книги P. Blackburn, M. de Rijke, Y. Venema. "Modal Logic". (

http://www.mlbook.org

)