Kripke Style Semantic for the Logic of Two Valued-States