Text this: Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas