modern logic