A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

0358360 - ÚI 2012 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : modal logic * interpolation * deep inference
Subject RIV: BA - General Mathematics

Cited: 2

--- KUZNETS, R. Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016). ISSN 0302-9743, 2016, vol. 10021, p. 320-335. [WOS]
--- KUZNETS, R. Multicomponent proof-theoretic method for proving interpolation properties. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 2018, vol. 169, no. 12, SI, p. 1369-1418. [WOS]

Permanent Link: http://hdl.handle.net/11104/0196432