Journal of logic and computation