Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (UkrPROG, 2014)

Pure first-order logics of quasiary predicates. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (UkrPROG, 2016)

Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (UkrPROG, 2018)

Program Logics Based on Algebras with the Composition of Predicate Complement. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (ACIT, 2019)

Program Logics of Renominative Level with the Composition of Predicate Complement. - Mykola S. Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (ICTERI Workshops, 2019)

Program-Oriented Logics of Renominative Level with Extended Renomination and Equality. - Mykola S. Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (ICTERI (Revised Selected Papers), 2019)

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. - Mykola S. Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak; Tohrul Mamedov (Comput. Sci. J. Moldova, 2019)

Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (ACIT, 2020)

Relations of Logical Consequence in Program-oriented Logics of Quasiary Predicates. - Oksana Shkilniak (ACIT, 2020)

Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (UkrPROG, 2020)

First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality. - Stepan S. Shkilniak; Oksana Shkilniak (UkrPROG, 2022)

Modal Logics of Partial Quasiary Predicates with Equality. - Oksana Shkilniak; Stepan S. Shkilniak (DSMSI (1), 2023)

Transitional Modal Logics of Quasiary Predicates with Equality and Sequent Calculi for these Logics. - Oksana Shkilniak; Stepan S. Shkilniak (UkrPROG, 2024)