A logic of knowing why
Reasoning About Knowledge