Tolong jelaskan mengenai Logika modal dari Dana Scott

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

Bersama Christopher Strachey, Scott mengembangkan dasar-dasar matematis untuk semantik dari bahasa pemrograman yang disebut sebagai semantik denotasional. Scott ikut pula berkontribusi kepada pengembangan teori domain.