Se presentan como extensiones del calculo proposicional clasico, la jerarquia de sistemas deductivos SMM�n con n >= 1. SMM�n es el sistema multi�modal de profundidad�n. El sistema SMM�1 es el calculo proposicional clasico. El sistema SMM�(n + 1) puede ser visto como el resultado de aplicar la regla de necesariedad, asociada a los razonadores con suficiente capacidad de razonamiento, una vez a los teoremas del sistema SMM�n. El sistema SMM resulta de la reunion de los sistemas de la jerarquia, y puede ser visto como el sistema de logica multi�modal Km con restricciones. Los sistemas SMM�n son caracterizados con una semantica al estilo Kripke, en la cual, la longitud de las cadenas de mundos posibles se encuentra restringida.