A logic of knowing why