Entonces, las dualidades del cuantificador pueden ser extendidas aún más a la lógica modal, que relaciona el cuadro de los operadores ("necesariamente") y diamante ("posiblemente"):