![](https://www.pdfsearch.io/img/bc3412df1df43c648f37328d7632d878.jpg) Date: 2015-10-19 12:38:16
| | Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating posAdd to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 393,92 KBShare Document on Facebook
|