Композиційно-номінативні логіки епістемічного типу
| 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.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.identifier.citation | Шкільняк О. С. Композиційно-номінативні логіки епістемічного типу / Шкільняк О. С., Шкільняк С. С. // Наукові записки НаУКМА. - 2011. - Т. 125: Комп'ютерні науки. - С. 4-8. | uk_UA |
| dc.identifier.issn | 1996-5931 | |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/2166 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | ВПЦ НаУКМА | uk_UA |
| dc.relation.source | Наукові записки НаУКМА. - 2011. - Т. 125 : Комп'ютерні науки. - С. 4-8. | uk_UA |
| dc.status | published earlier | 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 |