Oksana Shkilniak

Proceedings of the 14th International Scientific and Practical Programming Conference (UkrPROG 2024), 2024

2023

Modal Logics of Partial Quasiary Predicates with Equality.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers of the XX International Scientific Conference "Dynamical System Modeling and Stability Investigation" (DSMSI 2023). Volume 1: Mathematical Foundations of Information Technologies, Kyiv, Ukraine, December 20, 2023

2022

First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality.

[BibT_eX]

[DOI]

Proceedings of the 13th International Scientific and Practical Programming Conference, 2022

2020

Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement.

[BibT_eX]

[DOI]

Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), 2020

Relations of Logical Consequence in Program-oriented Logics of Quasiary Predicates.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Advanced Computer Information Technologies, 2020

Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Advanced Computer Information Technologies, 2020

2019

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition.

[BibT_eX]

[DOI]

Mykola S. Nikitchenko

Tohrul Mamedov

Comput. Sci. J. Moldova, 2019

Program-Oriented Logics of Renominative Level with Extended Renomination and Equality.

[BibT_eX]

[DOI]

Mykola S. Nikitchenko

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2019

Program Logics of Renominative Level with the Composition of Predicate Complement.

[BibT_eX]

[DOI]

Mykola S. Nikitchenko

Proceedings of the 15th International Conference on ICT in Education, 2019

Program Logics Based on Algebras with the Composition of Predicate Complement.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Advanced Computer Information Technologies, 2019

2018

Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, 2018

2016

Pure first-order logics of quasiary predicates.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, 2016

2014

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations).

[BibT_eX]

[DOI]