Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1

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