Valeria de Paiva: Intuitionistic Modal Logic and Applications (IMLA)

Valeria will review the programme of intuitionistic modal logic in its two original sources: modal logicians interested in Intuitionism and functional programmers/type theorists interested in (computational) modalities. She will discuss some trends of this kind of work since the first IMLA in Trento in 1999 and the tendencies that we can see in this line of work today.

Slides (http://www.tecmf.inf.puc-rio.br/LogicSemanticsII?action=AttachFile&do=view&target=dePaiva.pdf)

(just resending it, to remind)