Stepan S. Shkilniak

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 12

Top Topics

Quantifier Free

Semantic Properties

Classical First Order Logic

Top Venues

Comput. Sci. J. Moldova

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)
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, Stepan S. Shkilniak, Valentyn G. Tymofieiev
Satisfiability Problems in Quasiary Program Logics. ACIT (2018)
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)
Stepan S. Shkilniak, Dmytro Volkovytskyi
Composition-nominative logics of free-quantifier levels. UkrPROG (2016)
Mykola S. Nikitchenko, Stepan S. Shkilniak
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates. Comput. Sci. J. Moldova 23 (2) (2015)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). UkrPROG (2014)
Mykola S. Nikitchenko, Stepan S. Shkilniak
Semantics-based Logics over Hierarchical Nominative Data. ICTERI (2012)