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

First Page		Document Content
Date: 2016-06-12 16:01:25		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 Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 466,42 KB Share Document on Facebook