Completeness of sequent calculi for modal logics of non-monotone partial predicates - O. S. Shkilniak; V. S. Kasianiuk; L. M. Maliutenko (Artificial intelligence, 2016)