Интерполяционные теоремы в модальных логиках. Достаточные условия
Л.Л. Максимова
代数i Logika(1980)
- 第19卷,第2期,第194-213页
- 国际标准编号:0373-9252
Максимова,Л.Л。。"Интерполяционные теоремы в модальных логиках. Достаточные условия."代数i Logika19.2 (1980): 194-213. <http://eudml.org/doc/187091>.
@1980年,
作者={Максимова,Л.Л.},
journal={代数i逻辑},
关键词={正规模态逻辑;拓扑布尔代数;合并属性;克里普克框架},
语言={rus},
数字={2},
页数={194-213},
publisher={Akademija Nauk SSSR,Sibirskoe Otdelenie,Matematiki研究所},
标题=,
url={http://eudml.org/doc/187091},
体积={19},
年份={1980年},
}
今天
AU-Максимова,Л.Л。
TI-ИнтерПоааионнетиках。Достаточные условия
JO-代数i Logika
1980年上半年
PB-Akademija Nauk SSSR,Sibirskoe Otdelenie,Matematiki研究所
VL-19
IS-2
第194页
EP-213号
洛杉矶-罗斯
KW——正常模式逻辑;拓扑布尔代数;合并财产;克里普克框架
UR-(欧元)http://eudml.org/doc/187091
呃-
要在页面上嵌入这些注释,请在希望注释出现的页面上包含以下JavaScript代码。