CLMPS 2015 affiliated meeting: “Proof theory of modal and non-classical logics”
CLMPS 2015 affiliated meeting Proof theory of modal and non-classical logics promoted by Giovanna Corsi and Sara Negri under the auspices of SILFS (Italian Society for Logic and Philosophy of Science) The affiliated meeting took place on Friday the 7th…