Pure first-order logics of quasiary predicates M Nikitchenko, O Shkilniak, S Shkilniak Problems in Progamming, 73-86, 2016 | 22 | 2016 |
Семантичні властивості композиційно-номінативних модальних логік ОС Шкільняк Проблеми програмування, 11-23, 2009 | 9 | 2009 |
Relations of logical consequence in logics of partial predicates with composition of predicate complement OS Shkilniak Problems in Programming, 11-27, 2019 | 7 | 2019 |
Propositional logics of partial predicates with composition of predicate complement MS Nikitchenko, OS Shkilniak, SS Shkilniak, TA Mamedov PROBLEMS IN PROGRAMMING, 03-13, 2019 | 7 | 2019 |
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. M Nikitchenko, O Shkilniak, S Shkilniak, T Mamedov Computer Science Journal of Moldova 27 (2), 2019 | 6 | 2019 |
Algebras of general non-deterministic predicates MS Nikitchenko, OS Shkilniak, SS Shkilniak Problems in programming, 5-21, 2018 | 6 | 2018 |
Logical consequence relations in logics of quasiary predicates O SHKILNIAK Problems in Progamming, 13-25, 2016 | 6 | 2016 |
Logics of partial non-deterministic predicates M Nikitchenko, O Shkilniak, S Shkilniak International conference PDMU-2017: abstracts. Vilnius, Lithuania, 94-95, 2017 | 5 | 2017 |
ЧИСТІ ПЕРШОПОРЯДКОВІ ЛОГІКИ КВАЗІАРНИХ ПРЕДИКАТІВ МС Нікітченко, ОС Шкільняк, СС Шкільняк Проблеми програмування, 2016 | 5 | 2016 |
Semantic Properties of Composition Nominative Modal Logics OS Shkilniak Problems in Programming 4, 11-23, 2009 | 5 | 2009 |
Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення ОС Шкільняк Наукові записки НаУКМА. Серія: Комп’ютерні науки 86, 25-34, 2008 | 5 | 2008 |
Логіки загальних недетермінованих предикатів: cемантичні аспекти MS Nikitchenko, ОS Shkilniak, SS Shkilniak PROBLEMS OF PROGRAMMING, 31-45, 2018 | 4* | 2018 |
Modal Logics of Partial Predicates without Monotonicity Restriction O Shkilniak Workshop on Foundations of Informatics, 198-211, 2015 | 4 | 2015 |
Логіки часткових предикатів з розширеними реномінаціями та кванторами МС Нікітченко, ОС Шкільняк, СС Шкільняк Вісник Київського національного університету імені Тараса Шевченка. Сер …, 2013 | 3 | 2013 |
Композиційно-номінативні логіки епістемічного типу О Шкільняк, С Шкільняк Наук. записки НаУКМА. Серія: Комп’ютерні науки 125, 4-8, 2011 | 3* | 2011 |
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement MS Nikitchenko, ОS Shkilniak, SS Shkilniak PROBLEMS IN PROGRAMMING, 182-197, 2020 | 2 | 2020 |
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality M Nikitchenko, O Shkilniak, S Shkilniak International Conference on Information and Communication Technologies in …, 2019 | 2 | 2019 |
Program Logics Based on Algebras with the Composition of Predicate Complement M Nikitchenko, O Shkilniak, S Shkilniak 2019 9th International Conference on Advanced Computer Information …, 2019 | 2 | 2019 |
Renominative logics with extended renomination, equality and predicate complement MS Nikitchenko, OS Shkilniak, SS Shkilniak, TA Mamedov Artificial Intelligence Scientific Journal 24 (1-2), 2019 | 2 | 2019 |
Модальні логіки немонотонних часткових предикатів ОС Шкільняк Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015 | 2 | 2015 |