Event Detail
|
Sat Mar 7, 2015 60 Evans Hall |
Logic Colloquium Valeria de Paiva (AI and NLU Sunnyvale Lab, Nuance Communications) Constructive Modal Logics: 15 years later |
This talk will review the program of intuitionistic modal logic in its two original sources: modal logicians interested in Intuitionism and functional programmers/type theorists interested in (computational) modalities. I will discuss some trends of this kind of work since the first Intuitionistic Modal Logic and Applications (IMLA) in Trento in 1999 and the tendencies that we can see in this line of work today.