Modal logic

A type of symbolic logic that deals with modalities such as necessity and possibility.