Categorial versus modal information theory

In this very brief note, I raise a few friendly worries about interpreting the Lambek Calculus, admired and cherished as it may be by all connoisseurs, as a base logic of information flow.

[1]  Johan van Benthem,et al.  The information in intuitionistic logic , 2009, Synthese.

[2]  Kosta Došen A Completeness Theorem for the Lambek Calculus of Syntactic Categories , 1985, Math. Log. Q..

[3]  J. Lambek The Mathematics of Sentence Structure , 1958 .

[4]  Edwin D. Mares,et al.  Relevant logic and the theory of information , 1996, Synthese.

[5]  Sebastian Sequoiah-Grayson Mono-Agent Dynamics , 2009, LORI.

[6]  Johan van Benthem Proofs, Labels and Dynamics in Natural Language , 1999 .

[7]  J.F.A.K. van Benthem,et al.  Language in Action: Categories, Lambdas and Dynamic Logic , 1997 .

[8]  Joshua Sack,et al.  Dynamic Epistemic Temporal Logic , 2009, LORI.

[9]  Mati Pentus Models for the Lambek Calculus , 1995, Ann. Pure Appl. Log..

[10]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

[11]  Wojciech Buszkowski,et al.  Mathematical Linguistics and Proof Theory , 1997, Handbook of Logic and Language.

[12]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[13]  Szabolcs Mikulás,et al.  Lambek Calculus and its relational semantics: Completeness and incompleteness , 1994, J. Log. Lang. Inf..

[14]  J.F.A.K. van Benthem,et al.  Categorial Grammar at a Cross-Roads , 2003 .

[15]  J. Benthem One is a Lonely Number: on the logic of communication , 2003 .

[16]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[17]  Barteld Kooi Handbook of Logic and Language. (second edition) , 2011 .

[18]  J. Benthem Inference in action , 2007 .

[19]  Wojciech Buszkowski Completeness Results for Lambek Syntactic Calculus , 1986, Math. Log. Q..

[20]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[21]  Johan van Benthem,et al.  The Lambek Calculus , 1988 .

[22]  J.F.A.K. van Benthem,et al.  The Categorial Fine-Structure of Natural Language , 2003 .