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