Logics with quasiary and N-ary predicates: semantic and syntastic aspects - M. S. Nikitchenko; S. S. Shkilniak (Artificial intelligence, 2016)