|
Sibirskii Matematicheskii Zhurnal, 2008, Volume 49, Number 1, Pages 183–188
(Mi smj1831)
|
|
|
|
Absence of the interpolation property in the calculi $L\alpha$ and $Lf$
V. F. Murzina Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
We prove the absence of the Craig interpolation property in the polymodal calculi related to some Ershov spaces.
Keywords:
modal logic, interpolation property, topological space.
Received: 10.07.2006
Citation:
V. F. Murzina, “Absence of the interpolation property in the calculi $L\alpha$ and $Lf$”, Sibirsk. Mat. Zh., 49:1 (2008), 183–188; Siberian Math. J., 49:1 (2008), 147–151
Linking options:
https://www.mathnet.ru/eng/smj1831 https://www.mathnet.ru/eng/smj/v49/i1/p183
|
Statistics & downloads: |
Abstract page: | 171 | Full-text PDF : | 57 | References: | 37 |
|