 Alternatively to designing logics in which the knowledge operators do not exhibit logical omniscience, awareness logic offers an alternative: Change the interpretation of \(K_{a}\varphi\) from “a knows that \(\varphi\)” to “a implicitly knows that \(\varphi\)” and take explicit knowledge that \(\varphi\) to be implicit knowledge that \(\varphi\) and awareness of \(\varphi\). With awareness not closed under logical consequence, such a move allows for notion of explicit knowledge not logically omniscient. As agents neither have to compute their implicit knowledge nor can they be held responsible for answering queries based on it, logical omniscience is problematic only for explicit knowledge, the problem of logical omniscience is thus averted. Though logical omniscience is an epistemological condition for implicit knowledge, the agent itself may actually fail to realize this condition. For more on awareness logic, see, e.g., the seminal Fagin &amp; Halpern (1987) or Velazquez-Quesada (2011) and Schipper (2015) for overviews.