Las álgebras en capas se introducen y se utilizan para expresar gráficos en capas. Los gráficos en capas se consideran una herramienta abstracta altamente efectiva para manejar la dificultad en conceptualizar y razonar sobre sistemas complejos relacionados con la codificación en el intercambio de correos electrónicos y el control de acceso en seguridad. En el presente documento, estudiamos las variedades de varias clases de álgebras en capas basadas en retículos y mostramos que todas estas variedades tienen una teoría de ecuaciones decidible a través de una propiedad de modelo finito.