Dana Scott

Scott sempat menekuni bidang logika modal, dan mengembangkan generalisasi dari semantik Kripke yang disebut dengan semantik Scott-Montague.