Шкільняк, ОксанаШкільняк, Степан2013-03-052013-03-052011Шкільняк О. С. Композиційно-номінативні логіки епістемічного типу / Шкільняк О. С., Шкільняк С. С. // Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 4-8.1996-5931https://ekmair.ukma.edu.ua/handle/123456789/2166New classes of special-purpose logics of partial predicates oriented on composition-nominative program models are defined. We introduce composition-nominative multimodal logics and their special case – composition-nominative logics of epistemic type. Semantic properties of such logics of renominative, quantifier and quantifier-equational levels are studied.Побудовано нові класи спеціальних логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм. Запропоновано композиційно-номінативні мультимодальні логіки, в межах яких виділено логіки епістемічного типу. Досліджено семантичні властивості цих логік на реномінативному, кванторному та кванторно-екваційному рівнях.ukчастковий предикатмодальна логікаепістемічна логікакомпозиційно-номінативний підхідсемантикаpartial predicatemodal logicepistemic logiccomposition-nominative approachsemanticsArticle