Modal logic is a subject with ancient roots in the western logical tradition. Up until the last f...