Journal of Applied Logic