Počet záznamů: 1

A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

  1. 1.
    0358360 - UIVT-O 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Bílková, Marta
    A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi.
    Logic, Language, and Computation. Berlin: Springer, 2011 - (Bezhanishvili, N.; Löbner, S.; Schwabe, K.; Spada, L.), s. 30-45. Lecture Notes in Artificial Intelligence, 6618. ISBN 978-3-642-22302-0. ISSN 0302-9743.
    [TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./. Bakuriani (GE), 21.09.2009-25.09.2009]
    Grant CEP: GA AV ČR IAA900090703
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: modal logic * interpolation * deep inference
    Kód oboru RIV: BA - Obecná matematika

    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.
    Trvalý link: http://hdl.handle.net/11104/0196432
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0358360.pdf0230.5 KBVydavatelský postprintvyžádat