The logic of information structures - Wansing, H. (Heinrich) (Lecture notes in computer science. Lecture notes in artificial intelligence, 1993)