Fri Mar 6, 2015
60 Evans Hall, 4–6 PM
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.