Logic Journal of the IGPL