Dialectical Logic K-model