Розглянуто відношення логічного наслідку для композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних
предикатів. Запропоновано різні формалізації відношення логічного наслідку для множин формул. Досліджено властивості таких формалізацій в різних семантиках для загального випадку логік квазіарних предикатів, для логік еквітонних і логік антитонних предикатів.
(ВПЦ НаУКМА, 2011) Шкільняк, Оксана; Шкільняк, Степан
Побудовано нові класи спеціальних логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм. Запропоновано композиційно-номінативні мультимодальні логіки, в межах яких виділено логіки епістемічного типу. Досліджено семантичні властивості цих логік на реномінативному, кванторному та кванторно-екваційному рівнях.