Journal of Logic and Computation: Editorial