 This paradox gave rise to an active debate in the philosophical literature, leading us to signal out two main types of proposed solutions: those proposing a weakening of our logical principles (as in paraconsistent, intuitionistic or weaker modal logics) while keeping the verification thesis, and those that in contrast do not change/restrict the underlying logic but propose a specific formalization or reading of the verificationist  thesis.[18]  While we refer the reader to the SEP entry on  epistemic paradoxes  for an overview of these proposed solutions, here it is illustrative to highlight how this paradox, which in some sense arises from combining a modal logic for knowledge (K) with a modal logic for possibility \((\Diamond)\), can be ‘demystified’ by the further introduction of a modality for communication (related to the public announcement modality of PAL). Indeed, according to van Benthem (2004), what the verificationist thesis expresses is not about ‘static’ knowability, but rather about a form of learnability: “what is true may come to be known” (van Benthem 2004). This statement can be formally stated in a suitable arbitrary announcement framework as: