Logics of general non-deterministic predicates: semantic aspects - M. S. Nikitchenko; O. S. Shkilniak; S. S. Shkilniak (Problems in programming, 2018)