A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

BÍLKOVÁ, Marta. A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi. In: BEZHANISHVILI, N., LÖBNER, S., SCHWABE, K., SPADA, L., eds. Logic, Language, and Computation. Berlin: Springer, 2011, s. 30-45. Lecture Notes in Artificial Intelligence, 6618. ISBN 978-3-642-22302-0. ISSN 0302-9743. Available: doi: 10.1007/978-3-642-22303-7_3