Композиційно-номінативні логіки епістемічного типу
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.
|
|