According to his wife, he first considered formalizing temporal logic in 1953.
彼の妻によれば、彼が最初に時相論理を定式化したのは1953年のことだという。