Stepan S. Shkilniak

17 papers Misc 1Journal 2Unranked 14
YearRankTypeTitle / Venue / Authors
2025 — conf
First-Order Modal Systems of Partial Ambiguous Predicates.
SEST
Oksana Shkilniak, Stepan S. Shkilniak, Oleksandr Galkin
2024 — conf
Transitional Modal Logics of Quasiary Predicates with Equality and Sequent Calculi for these Logics.
UkrPROG
Oksana Shkilniak, Stepan S. Shkilniak
2023 — conf
Modal Logics of Partial Quasiary Predicates with Equality.
DSMSI (1)
Oksana Shkilniak, Stepan S. Shkilniak
2022 — conf
First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality.
UkrPROG
Stepan S. Shkilniak, Oksana Shkilniak
2020 — conf
Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement.
UkrPROG
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2020 — conf
Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data.
ACIT
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2019 J jnl
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition.
Comput. Sci. J. Moldova
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak, Tohrul Mamedov
2019 — conf
Program Logics Based on Algebras with the Composition of Predicate Complement.
ACIT
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2019 — conf
Program Logics of Renominative Level with the Composition of Predicate Complement.
ICTERI Workshops
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2019 — conf
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality.
ICTERI (Revised Selected Papers)
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2018 — conf
Satisfiability Problems in Quasiary Program Logics.
ACIT
Mykola Nikitchenko, Stepan S. Shkilniak, Valentyn G. Tymofieiev
2018 — conf
Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects.
UkrPROG
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2016 — conf
Composition-nominative logics of free-quantifier levels.
UkrPROG
Stepan S. Shkilniak, Dmytro Volkovytskyi
2016 — conf
Pure first-order logics of quasiary predicates.
UkrPROG
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2015 J jnl
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates.
Comput. Sci. J. Moldova
Mykola S. Nikitchenko, Stepan S. Shkilniak
2014 — conf
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations).
UkrPROG
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2012 Misc conf
Semantics-based Logics over Hierarchical Nominative Data.
ICTERI
Mykola S. Nikitchenko, Stepan S. Shkilniak