Počet záznamů: 1
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
- 1.
SYSNO ASEP 0358360 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi Tvůrce(i) Bílková, Marta (UIVT-O) SAI, RID, ORCID Zdroj.dok. 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 Rozsah stran s. 30-45 Poč.str. 16 s. Akce TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./ Datum konání 21.09.2009-25.09.2009 Místo konání Bakuriani Země GE - Gruzie Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova modal logic ; interpolation ; deep inference Vědní obor RIV BA - Obecná matematika CEP IAA900090703 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000306442700003 EID SCOPUS 79960791654 DOI 10.1007/978-3-642-22303-7_3 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2012
Počet záznamů: 1