Text this: Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías