Rencontre Le mercredi 4 octobre 2023 15h00 17h00 Exposé de Jan von Plato The exact correspondence between intuitionistic and modal logic