A focused framework for emulating modal proof systems Sonia Marin, Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France - SONIA - Document - PDFSEARCH.IO

First Page	Meta Content
	A focused framework for emulating modal proof systems Sonia Marin, Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Add to Reading List Document Date: 2016-06-12 16:01:25 Open Document File Size: 466,42 KB Share Result on Facebook

A focused framework for emulating modal proof systems Sonia Marin, Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, FranceAdd to Reading List