Focused labeled proof systems for modal logic
 Publisher: HAL CCSD

Subject: [ INFO.INFOLO ] Computer Science [cs]/Logic in Computer Science [cs.LO]  Geometric formulas  Labeled proof systems  Focused proof systems  Modal logicacm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESarxiv: Computer Science::Logic in Computer Science

References
(19)
19 references, page 1 of 2
 1
 2
1. JeanMarc Andreoli. Logic programming with focusing proofs in linear logic. J. of Logic and Computation, 2(3):297{347, 1992.
2. Patrick Blackburn and Johan Van Benthem. Modal logic: a Semantic Perspective. In Handbook of Modal Logic, pp 1{82. Elsevier, 2007.
3. Zakaria Chihani, Dale Miller, and Fabien Renaud. Foundational proof certi cates in rstorder logic. In CADE 24, LNAI 7898, pp. 162{177, 2013.
4. Zakaria Chihani, Tomer Libal, and Giselle Reis. System Description: The Proof Certi er Checkers. To appear in Tableaux 2015.
5. Roy Dyckho and Sara Negri. Proof analysis in intermediate logics. Archive for Mathematical Logic, 51(12):71{92, 2012.
6. Roy Dyckho and Sara Negri. Geometrisation of rstorder logic. The Bulletin of Symbolic Logic, 21:123{163, 6 2015.
7. Melvin Fitting. Modal proof theory. In Frank Wolter Patrick Blackburn, Johan van Benthem, editor, Handbook of Modal Logic, pages 85{138. Elsevier, 2007.
8. Dov M. Gabbay. Labelled Deductive Systems. Clarendon Press, 1996.
9. JeanYves Girard. On the meaning of logical rules I: syntax vs. semantics. In Berger and Schwichtenberg, eds, Computational Logic, pp. 215{272. Springer, 1999.
10. Chuck Liang and Dale Miller. Focusing and polarization in linear, intuitionistic, and classical logics. Theor. Comput. Sci., 410(46):4747{4768, 2009.

Metrics
No metrics available

 Download from

INRIA a CCSD electronic archive server via INRIA a CCSD electronic archive server (Conference object, 2015)

Cite this publication