English Beginner Modalities for Reasoning about Knowledge and Quantities [PhD Thesis] Wiebe van der Hoek 1992 View book