 Floridi (2006) argues that the modal logic KTB is well placed to play the role of a logic of being informed (KTB is system B described in the entry on  modal logic.)  KTB itself licenses a version of the veridicality thesis within the context of being informed, \(I_\alpha p\to p\) (where \(I\) is a universal modal operator, on account of the axiom \(\square p\to p\) being an axiom of KTB). “Being informed” is understood as a cognitive state distinct from both knowledge and belief. Allo (2011) provides a formal semantics for the logic of being informed, in both pure and applied versions. Primiero (2009) rejects the veridicality thesis for a logic of becoming informed. Primiero’s logic of becoming informed is a logic of epistemic constructive information, within which the definition of information requires it to be kept distinct from truth. Epistemic constructive information understands information for propositional content in terms of proof-conditions as opposed to truth-conditions.