The logic of partial information - Nait Abdallah, Areski, 1950- (Monographs in theoretical computer science, 1995)