Number of the records: 1
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
- 1.
SYSNO ASEP 0358360 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi Author(s) Bílková, Marta (UIVT-O) SAI, RID, ORCID Source Title Logic, Language, and Computation. - Berlin : Springer, 2011 / Bezhanishvili N. ; Löbner S. ; Schwabe K. ; Spada L. - ISSN 0302-9743 - ISBN 978-3-642-22302-0 Pages s. 30-45 Number of pages 16 s. Action TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./ Event date 21.09.2009-25.09.2009 VEvent location Bakuriani Country GE - Georgia Event type WRD Language eng - English Country DE - Germany Keywords modal logic ; interpolation ; deep inference Subject RIV BA - General Mathematics R&D Projects IAA900090703 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000306442700003 EID SCOPUS 79960791654 DOI 10.1007/978-3-642-22303-7_3 Annotation This paper answers one rather particular question: how to perform a proof of uniform interpolation property in deep inference calculi for modal logics. We show how to perform a proof of uniform interpolation property in deep inference calculus for the basic modal logic K via forgetting a variable in a certain normal form constructed by backward proof search. For that purpose we modify the framework of deepinference calculus using a cover modality on the meta level to structure deep sequents. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2012
Number of the records: 1