|
|
Совместный семинар лаборатории J.-V. Poncelet и сектора Алгебры и теории чисел № 4.1 ИППИ РАН «Арифметика, геометрия и теория кодирования»
11 марта 2014 г. 17:30, г. Москва, НМУ (Большой Власьевский пер., 11), ауд. 309
|
|
|
|
|
|
Модальные логики элементарных классов шкал Крипке и теория соответствия
С. П. Кикоть |
Количество просмотров: |
Эта страница: | 148 |
|
Аннотация:
В докладе рассматриваются множества с бинарными отношениями (шкалы Крипке) и два языка для описания их свойств: стандартный язык первого порядка и пропозициональный модальный язык, который можно понимать как двухпеременный фрагмент языка первого порядка с ограниченными кванторами, расширенный универсально квантифицированными унарными предикатами. По своим выразительным способностями эти два языка находятся в общем положении. Описанием их общей части занимается так называемая "теория соответствия", возникшая в 1960 гг. как инструмент доказательства полноты модальных исчислений. В докладе пойдет речь о ней, а также о более общей задаче "по формуле первого порядка описать свойства задаваемой ей модальной логики."
|
|