Actualmente, la teoría de prueba más sistemática que permite que muchas lógicas modales se superpongan a muchas lógicas subestructurales es la lógica de visualización de Belnap, que ha recibido un trato decente por parte de Marcus Kracht; vea en particular su lógica de poder y debilidad de la visualización modal , 1996— y Heinrich Wansing, Display Modal Logic , 1998.
La lógica de visualización tiene problemas para manejar la lógica no conmutativa, que fue una de las motivaciones detrás de un par de tesis de maestría que supervisé algunos años atrás, para aplicar algunas ideas sobre las modalidades de representación en el Cálculo de estructuras, que es muy poderoso para representar lógicas subestructurales, pero funcionó en problemas debido a la forma inusual de eliminación de cortes en ese entorno. El trabajo de Robert Hein sobre la generación de reglas para lógicas modales a partir de familias de axiomas, resumidas en Pureza a través de la resolución, 2005, cubre la mayoría de las lógicas habituales (los axiomas más importantes no cubiertos son B, CR y L), y existe evidencia circunstancial bastante sólida para creer la conjetura de eliminación de corte. Ninguno de estos trabajos en realidad trata la lógica subestructural, pero si se probara un tipo más fuerte de teorema de eliminación de cortes para estas modalidades, el llamado lema de división, esto haría que la lógica sea muy modular y la eliminación de cortes debería seguir fácilmente para todas las formas de pegando las lógicas.
La lógica subestructural no tiene realmente una noción uniforme de semántica, pero para la lógica subestructural modal tenemos una especie de receta para convertir la semántica de la lógica base en semántica de lógica modal coincidente, extendiendo una semántica similar a la traza con una noción de marco o una semántica algebraica / categórica con una noción de operador. Kracht y Wansing trabajan un poco en ambas direcciones.