Information comes in various kinds. Semantic approaches to dynamic-epistemic logic emphasize semantic information as a range of live possibilities for how the real world might be. But there is also more fine-grained syntactic information as produced by proofs that elucidate and reformulate the information available to us in linguistic formulations. And other notions exist, too, such as information as correlation between situations. Dynamic-epistemic logics exist for handling various notions of information.