Запис Детальніше

Композиційно-номінативні логіки епістемічного типу

eKMAIR

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Creator Шкільняк, Оксана
Шкільняк, Степан
 
Date 2013-03-05T09:09:17Z
2013-03-05T09:09:17Z
2011
 
Identifier Шкільняк О. С. Композиційно-номінативні логіки епістемічного типу / Шкільняк О. С., Шкільняк С. С. // Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 4-8.
1996-5931
http://www.ekmair.ukma.kiev.ua/handle/123456789/2166
 
Description New 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.
Побудовано нові класи спеціальних логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм. Запропоновано композиційно-номінативні мультимодальні логіки, в межах яких виділено логіки епістемічного типу. Досліджено семантичні властивості цих логік на реномінативному, кванторному та кванторно-екваційному рівнях.
 
Language ua
 
Publisher ВПЦ НаУКМА
 
Subject частковий предикат
модальна логіка
епістемічна логіка
композиційно-номінативний підхід
семантика
partial predicate
modal logic
epistemic logic
composition-nominative approach
semantics
 
Title Композиційно-номінативні логіки епістемічного типу
 
Type Article
 
Relation Наукові записки НаУКМА. - 2011. - Т. 125 : Комп'ютерні науки. - С. 4-8.