Evert Willem Beth

涯中，他提出了模态逻辑的语义本质上类似于索尔·阿伦·克里普克的关系语义（或译为Kripke语义或框架逻辑），并和艾弗特·威廉·貝斯（Evert Willem Beth）分别独立发现了现在广泛使用的语义tableau。 去世前的近十年里，他主要致力于博弈逻辑和被认为是IF逻辑上面。他对亚里士多德、卡

Barwise（美國，1942年－2000年） Nuel Belnap（1931年－） Johan van Benthem（荷蘭，1949年 －） Evert Willem Beth（荷蘭，1908年－1964年） 乔治·布尔（英国，1815年－1864年） George Boolos（美國，1940年－1996年）

929年至1966年，在賓夕法尼亞州立大學任教。1942年發表了柯里悖論。1966年成為阿姆斯特丹大學的邏輯學及其精確科學哲學教授，Evert Willem Beth的繼任者。 柯里也撰寫和教授數理邏輯；他的教學成果在1963年的《數學邏輯的基礎》一書中到達巔峰。追隨他的導師希爾伯特，他自認偏好的

Szmielew） 羅伯特·勞森·沃特（英语：Robert Lawson Vaught） 其他著名學生 埃弗特·威廉·貝斯（英语：Evert Willem Beth） 受影响自 查爾斯·桑德斯·皮爾士 揚·盧卡西維茨 施影响于 肯尼斯·阿羅 魯道夫·卡爾納普 約翰·柯寇蘭（英语：John Corcoran