La lógica modal sólo agrega dos símbolos al vocabulario de la lógica proposicional: el símbolo formula_1 , que representa la expresión del lenguaje natural "es necesario que", y el símbolo formula_2, que representa la expresión "es posible que".