The Origins of Modern Modal Logic