Аннотация:
После короткого введения об общих принципах построения логик различных теоретико-модельных конструкций будет подробно рассмотрена логика подмоделей. Мы обсудим, в каких теоретико-модельных языках выразимо соответствующее понятие достижимости, покажем, что при любой сигнатуре получающаяся логика содержит S4 и, в случае наличия в сигнатуре константных символов, S4.2.1, и докажем, что в случае сигнатур, содержащих по меньшей мере два одноместных функциональных
символа, либо один двух- или более местный функциональный символ, логики в точности совпадают с S4 и, в случае наличия в сигнатуре константных символов, S4.2.1. Для доказательства полноты будут
построены специфические алгебры с подходящими факторшкалами подмоделей. В дальнейших докладах планируется рассмотреть случаи других сигнатур.
|