Number of the records: 1

A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

SYSNO	0358360
Title	A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
Author(s)	Bílková, Marta (UIVT-O)_{SAI, RID, ORCID}
Source Title	Logic, Language, and Computation. S. 30-45. - Berlin : Springer, 2011 / Bezhanishvili N. ; Löbner S. ; Schwabe K. ; Spada L.
Conference	TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./, Bakuriani, 21.09.2009-25.09.2009
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	IAA900090703 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	DE
Keywords	modal logic * interpolation * deep inference
Permanent Link	http://hdl.handle.net/11104/0196432

	File	Download	Size	Commentary	Version	Access
	a0358360.pdf	0	230.5 KB		Publisher’s postprint	require

Number of the records: 1