Публікації:

1. Шкільняк О.С., Нікітченко М.С., Шкільняк С.С. Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу. // Вісник Київського університету. Серія: фіз.-мат. науки. Вип. 3 – Київ, 2011, – с. 204–211.
2. Шкільняк О.С. Kомпозиційно-номінативні мультимодальні логіки. // Штучний інтелект. – 2011, – № 4, – с. 126–133.
3. Шкільняк О.С. Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня. // Проблеми програмування. – 2011, – № 1, – с. 17–28.
4. Шкільняк О.С. Композиційно-номінативні модальні логіки функціонально-екваційного рівня. // Ж.: «Проблеми програмування». – 2010, – № 2-3, – с. 42-47.
5. Шкільняк О.С. Семантичні властивості композиційно-номінативних модальних логік. // Ж.: «Проблеми програмування». – 2009, – № 4, – с. 11–23.
6. Шкільняк О.С. Семантичні аспекти композиційно-номінативних модальних і темпоральних логік. // Вісник Київського університету. Серія: кібернетика. – 2009, – Вип. 9, – с. 49–55.
7. Шкільняк О.С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік. // Наукові записки НаУКМА. Серія: Комп’ютерні науки. – 2009, – Т. 99, – с. 37–44.
8. Шкільняк О.С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні численн. // Наукові записки НаУКМА. Серія: Комп’ютерні науки. – 2008, – Т. 86, – с. 25–34.