Short Introduction to Modal Logic

Modal Logic can be characterized as the logic of necessity and possibility, of 'must be' and 'may be...