Describir: Journal of Logic and Computation