Wiebe van der Hoek Sytems for Knowledge and Belief. 173-195 1993 3 J. Log. Comput. 2 db/journals/logcom/logcom3.html#Hoek93