Text this: Teoría de prueba con etiquetas para lógicas modales intuicionistas