Oksana Shkilniak

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 10

Top Topics

Top Venues

ICTERI (Revised Selected Papers)

Publications

Oksana Shkilniak, Stepan S. Shkilniak
Modal Logics of Partial Quasiary Predicates with Equality. DSMSI (2023)
Stepan S. Shkilniak, Oksana Shkilniak
First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality. UkrPROG (2022)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data. ACIT (2020)
Oksana Shkilniak
Relations of Logical Consequence in Program-oriented Logics of Quasiary Predicates. ACIT (2020)
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality. ICTERI (Revised Selected Papers) (2019)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Program Logics Based on Algebras with the Composition of Predicate Complement. ACIT (2019)
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Program Logics of Renominative Level with the Composition of Predicate Complement. ICTERI Workshops (2019)
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak, Tohrul Mamedov
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. Comput. Sci. J. Moldova 27 (2) (2019)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects. UkrPROG (2018)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Pure first-order logics of quasiary predicates. UkrPROG (2016)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). UkrPROG (2014)