IMLA 2002

Intuitionistic Modal Logic and Applications
Invited Speakers
Copenhagen, Denmark, July 26, 2002


Invited speakers:

Giovanni Sambin (Padova, Italy)
Dana Scott (Pittsburgh, USA)