Stepan S. Shkilniak

According to our database, Stepan S. Shkilniak authored at least 16 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2024

Transitional Modal Logics of Quasiary Predicates with Equality and Sequent Calculi for these Logics.

Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 14th International Scientific and Practical Programming Conference (UkrPROG 2024), 2024

2023

Modal Logics of Partial Quasiary Predicates with Equality.

Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the Selected Papers of the XX International Scientific Conference "Dynamical System Modeling and Stability Investigation" (DSMSI 2023). Volume 1: Mathematical Foundations of Information Technologies, Kyiv, Ukraine, December 20, 2023

2022

First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality.

Stepan S. Shkilniak, Oksana Shkilniak

Proceedings of the 13th International Scientific and Practical Programming Conference, 2022

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

Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), 2020

Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data.

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 10th International Conference on Advanced Computer Information Technologies, 2020

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

Program-Oriented Logics of Renominative Level with Extended Renomination and Equality.

Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2019

Program Logics of Renominative Level with the Composition of Predicate Complement.

Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 15th International Conference on ICT in Education, 2019

Program Logics Based on Algebras with the Composition of Predicate Complement.

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 9th International Conference on Advanced Computer Information Technologies, 2019

2018

Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects.

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, 2018

Satisfiability Problems in Quasiary Program Logics.

Mykola Nikitchenko, Stepan S. Shkilniak, Valentyn G. Tymofieiev

Proceedings of the International Conference Advanced Computer Information Technologies, 2018

2016

Composition-nominative logics of free-quantifier levels.

Stepan S. Shkilniak, Dmytro Volkovytskyi

Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, 2016

Pure first-order logics of quasiary predicates.

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, 2016

2015

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates.

Mykola S. Nikitchenko, Stepan S. Shkilniak

Comput. Sci. J. Moldova, 2015

2014

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations).

Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Proceedings of the 9th International Conference of Programming, Kyiv, 2014

2012

Semantics-based Logics over Hierarchical Nominative Data.

Mykola S. Nikitchenko, Stepan S. Shkilniak

Proceedings of the 8th International Conference on ICT in Education, 2012