Modale Logica & Kennisrepresentatie 97-98