Modale Logica & Kennisrepresentatie 95-96