Modal logic

In formal logic, a modal logic is any logic for handling modalities: concepts like possibility, existence, and necessity. Logics for handling a number of other ideas, such as eventually, formerly, can, could, might, may, must are by extension also called modal logics, since it turns out that these can be treated in similar ways.