 There are a number of insights to gain from Theorem 2. First, if one wants to use any type of Kripke model to capture knowledge, then one must accept K. Skipping some details, one must in fact accept the full logic K as this is the logic of the class of all Kripke models (see, e.g., Blackburn, de Rijke, &amp; Venema 2001).