Logican And Philosopher
Self-taught logician known for founding tense logic or temporal logic, as well as contributing greatly to intensional logic.