KCC Logic Model