Sign in
Oksana Shkilniak
ORCID
Publication Activity (10 Years)
Years Active: 2014-2022
Publications (10 Years): 9
Top Topics
Modal Logic
Monotonicity Constraints
Classical First Order Logic
Expressive Power
Top Venues
UkrPROG
ACIT
ICTERI (Revised Selected Papers)
ICTERI Workshops
</>
Publications
</>
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)