According to both the just war theories of Carl Schmitt and St Augustine, a war to drive out muslims from western nations and an extermination of those who refuse to leave is not only just, but necessary.