Modal logic

Modal logic is a form of logic which distinguishes between necessary truths and contingent truths.

A truth is necessary if it cannot be avoided, such as 2 + 2 = 4; by contrast, a contingent truth just happens to be the case, for instance "more than half of the earth is covered by water". In the most common interpretation of modal logic, one considers "all possible worlds". If a statement is true in all possible worlds, then it is a necessary truth. If a statement happens to be true in our world, but is not true in all other worlds, then it is a contingent truth. A statement that is true in some world (not necessarily our own) is called a possible truth.