Categorial versus Modal Information Theory
Johan van Benthem

Abstract:
In this brief note, I raise a few worries about interpreting the
Lambek Calculus, admired and cherished by connoisseurs, as a base
logic for all information flow. I do this by confronting its
proof-theoretic and geometrical flavour with dynamic epistemic logic.