Se presentan como extensiones del calculo proposicional clasico las jerarquias de sistemas deductivos LER�n y LDR�n, con n ? 1. LER�n es la Logica epistemica con restricciones de profundidad�n, LDR�n es la Logica doxastica con restricciones de profundidad�n. Los sistemas LER�1 y LDR�1 son el calculo proposicional clasico. El sistema LER�(n + 1) puede ser visto como el resultado de aplicar la regla: de X se infiere +X, una vez a los teoremas del sistema LER�n, ademas, se restringe la validez de los axiomas +(X ? Y ) ? (+X ? +Y ) y +X ? X en terminos de la profundidad (complejidad respecto al operador +) de X y de Y , y tambien se incluyen versiones generalizadas y con restricciones de los axiomas de introspeccion positiva y negativa. El sistema LER resulta de la reunion de los sistemas de la jerarquia, y puede ser visto como el sistema de Logica modal S5 con diversos tipos de restricciones. Cambiando +X ? X por +X ? ~+~ X se construye la jerarquia LDR�n y el sistema LDR; este ultimo puede ser visto como el sistema de Logica modal KD45 con diversos tipos de restricciones. Los sistemas son caracterizados con semanticas de mundos posibles encajados, con las cuales se le imponen, al problema de la omnisciencia Logica, ciertos limites.