11![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 pos 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 pos](https://www.pdfsearch.io/img/d27a9c91856176f6ae8975631ab61609.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.fr- Date: 2015-11-06 10:54:47
|
---|
12![Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University](https://www.pdfsearch.io/img/5613f112c538e8d918be50c7e7fb8fe2.jpg) | Add to Reading ListSource URL: www.phil.uu.nlLanguage: English - Date: 2008-10-20 05:03:57
|
---|
13![Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract](https://www.pdfsearch.io/img/640feb83439ab54d31a9ce7a85282e77.jpg) | Add to Reading ListSource URL: www.phil.uu.nlLanguage: English - Date: 2015-04-01 07:45:41
|
---|
14![Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016](https://www.pdfsearch.io/img/478cdf34c2566d86561e9c6afb9172fb.jpg) | Add to Reading ListSource URL: www.phil.uu.nlLanguage: English - Date: 2016-06-10 10:25:19
|
---|
15![Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015](https://www.pdfsearch.io/img/bf249296acb864dd3bd929b8b205906c.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2016-02-19 10:54:23
|
---|
16![FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09](https://www.pdfsearch.io/img/01010de02d8a3f6e2ac7e7e1d6286d80.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2009-07-20 04:50:04
|
---|
17![To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999 To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999](https://www.pdfsearch.io/img/d31858d8ff7ed72618e8f80879a21430.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2001-08-20 15:53:14
|
---|
18![Microsoft Word - IBSAlgorithms.doc Microsoft Word - IBSAlgorithms.doc](https://www.pdfsearch.io/img/10087252a8834257458f7c54f71f7a32.jpg) | Add to Reading ListSource URL: foibg.comLanguage: English - Date: 2015-02-02 08:45:52
|
---|
19![Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo](https://www.pdfsearch.io/img/97f3dcf0c82dab8d7e7e40499939df65.jpg) | Add to Reading ListSource URL: www.phil.uu.nlLanguage: English - Date: 2008-12-12 07:17:03
|
---|
20![From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009 From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009](https://www.pdfsearch.io/img/506edf6b04f536a121231d343c403065.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2009-06-25 08:22:18
|
---|