Information Flow, which is the logic of information by situation theory, is formalized by Arrow logic, and it is shown that the five principles of information propagation are satisfied. The co-author only received comments. (Author) Kahiko Murakawa, Satoshi Tojo, Susumu Kunito