En segundo lugar, a diferencia del caso de la lógica clásica (que fue axiomatizada de un modo completo por Frege), las nociones modales dieron lugar a distintos sistemas axiomáticos.