This is a type of Boolean Algebra that deals with modalities, which are expressions that qualify the truth-value of a proposition. It includes modal operations such as "necessity" and "possibility" that allow for the creation of statements that express different types of logical relationships.