A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

Bílková Marta



Název
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
Autor
lupa Bílková Marta UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa Logic, Language, and Computation. S. 30-45. - Berlin : Springer, 2011 / Bezhanishvili N. ; Löbner S. ; Schwabe K. ; Spada L.
Vyd.údaje
16 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
modal logic * interpolation * deep inference
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0196432