Modal Logic In Computer Science