Journal of Logic and Computation