Semantic properties of five-valued logics - M. S. Nikitchenko; O. V. Shyshatska (Problems in programming, 2018)