A communication between agents consists of an agent's utterance and the other agent's perception, thus, both of the utterance and the perception are regarded as parts of a communication channel between agents.
Information is regarded as a propositional content of a sentence.
An information channel where information flows can be considered to be a program, in the sense that it gets an utterance as an input and puts an output to be a perception of some agent. In the real situations, th ere are so called miscommunications. Thus, the communication channel as a program may add some noise on information indeterministically. We implement the noises are some modal operators on information. We try to formalize the communication channels in arrow logic.