Text this: Resolución en lógicas anotadas sobre birretículos