Dynamic logic (modal logic)

在加利福尼亞大學柏克萊分校攻讀研究生時開始的工作，並使之正規化；合作成果是KMP演算法。1976年，他發展了動態邏輯（英语：Dynamic logic (modal logic)）系統，這是一種結構化行為的模態邏輯。 他從麻省理工學院到史丹佛大學休假（1980年—1981年），並於1981年被任命為史丹佛大學全職教授。