Семантическая характеризация модальных логических связок

Модальная логическая связка определяется как формула языка элементарной теории моделей Крипке, удовлетворяющая следующим условиям: 1) истинность формулы в данной вершине модели должна зависеть только от верхнего конуса этой вершины; 2) формула должна быть устойчивой относительно $p$-морфизмов моделей. Доказывается, что модальными логическими связками являются интерпретации пропозициональных формул, построенных с помощью примитивных связок $\Box$, $\&$, $\daleth$ и только они. Библиогр. 4 назв.