Modalities for reasoning about knowledge and quantities - Hoek, Wiebe van der (1992)
Zugl.: Amsterdam, Univ., Diss., 1992