Розглядаються композиційно-номінативні логіки часткових предикатів. Стосовно екстенсійного аспекту предметних областей пропонуються логіки квазіарних предикатів і логіки номінативних даних, стосовно інтенсійного аспекту - композиційно-номінативні модальні логіки. Наведено ієрархію композиційно-номінативних логік. Місце логіки в ієрархи визначається рівнем абстракції розгляду та обмеженнями класу предикатів.
The composition nominative logics of partial predicates are considered. Concerning extensional aspects of subject domains, the logics of quasi-ary predicates and logics over nominative data are proposed. Intensional aspects are represented by composition nominative modal logics. The hierarchy of composition nominative logics is presented. The place of a logic in this hierarchy is determined by its abstraction level and by restrictions on classes of its predicates.
