RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive
Sibirsk. Mat. Zh., 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.

UDC: 510.643

Received: 10.07.2006


 English version: Siberian Mathematical Journal, 2008, 49:1, 147–151

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024