eKMAIR

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

Show simple item record

dc.contributor.author Шкільняк, Оксана
dc.contributor.author Шкільняк, Степан
dc.date.accessioned 2013-03-05T09:09:17Z
dc.date.available 2013-03-05T09:09:17Z
dc.date.issued 2011
dc.identifier.citation Шкільняк О. С. Композиційно-номінативні логіки епістемічного типу / Шкільняк О. С., Шкільняк С. С. // Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 4-8. uk_UA
dc.identifier.issn 1996-5931
dc.identifier.uri http://ekmair.ukma.edu.ua/handle/123456789/2166
dc.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. uk_UA
dc.description.abstract Побудовано нові класи спеціальних логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм. Запропоновано композиційно-номінативні мультимодальні логіки, в межах яких виділено логіки епістемічного типу. Досліджено семантичні властивості цих логік на реномінативному, кванторному та кванторно-екваційному рівнях. uk_UA
dc.language.iso uk uk_UA
dc.publisher ВПЦ НаУКМА uk_UA
dc.subject частковий предикат uk_UA
dc.subject модальна логіка uk_UA
dc.subject епістемічна логіка uk_UA
dc.subject композиційно-номінативний підхід uk_UA
dc.subject семантика uk_UA
dc.subject partial predicate uk_UA
dc.subject modal logic uk_UA
dc.subject epistemic logic uk_UA
dc.subject composition-nominative approach uk_UA
dc.subject semantics uk_UA
dc.title Композиційно-номінативні логіки епістемічного типу uk_UA
dc.type Article uk_UA
dc.status published earlier uk_UA
dc.relation.source Наукові записки НаУКМА. - 2011. - Т. 125 : Комп'ютерні науки. - С. 4-8. uk_UA


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics