Rencontre Le Mercredi 4 octobre 202315h0017h00 Exposé de Jan von Plato The exact correspondence between intuitionistic and modal logic