Greg Restall

Philform a reçu Greg Restall au début de la semaine, pour deux séances intitulées respectivement "Invention is the mother of necessity" et "Proofnets for S5: sequents and natural deduction for modal logic". Pour plus de détails, voir ici et là.