Composition nominative modal logics of partial non-monotone predicates and their calculi - O. S. Shkilniak; V. S. Kasianiuk; L. M. Maliutenko (Problems in programming, 2017)