KU logic