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

Loading...
Thumbnail Image
Date
2011
Authors
Шкільняк, Оксана
Шкільняк, Степан
Journal Title
Journal ISSN
Volume Title
Publisher
ВПЦ НаУКМА
Abstract
Побудовано нові класи спеціальних логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм. Запропоновано композиційно-номінативні мультимодальні логіки, в межах яких виділено логіки епістемічного типу. Досліджено семантичні властивості цих логік на реномінативному, кванторному та кванторно-екваційному рівнях.
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.
Keywords
частковий предикат, модальна логіка, епістемічна логіка, композиційно-номінативний підхід, семантика, partial predicate, modal logic, epistemic logic, composition-nominative approach, semantics
Citation
Шкільняк О. С. Композиційно-номінативні логіки епістемічного типу / Шкільняк О. С., Шкільняк С. С. // Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 4-8.