second-order logic articles