One can formally define an extension of first-order logic - a notion which encompasses all logics in this section because they behave like first-order logic in certain fundamental ways, but does not encompass all logics in general, e.g. it does not encompass intuitionistic, modal or fuzzy logic.
Modal logics include additional modal operators, such as an operator which states that a particular formula is not only true, but necessarily true.