A Count Invariant for Lambek Calculus with Additives and Bracket Modalities. - Oriol Valentín; Daniel Serret; Glyn Morrill (FG, 2013)