...
机译:子空间的逻辑拓扑方面(着重于规范模型)
Univ Hagen D-58084 Hagen Germany;
Bi-modal logic; subset space semantics; topological semantics; topo-definability; canonicity for a property;
机译:分层<重点类型=“斜体”> l 重点> - 分层<重点型=“斜体”> l 重点> -topological spaces中的prefilter收敛结构
机译:<重点类型=“斜体”> cp fephasis>
机译:Mackey-完全空间和幂级数-微分线性逻辑的拓扑模型
机译:拓扑空间上模态逻辑的可变可及性模型
机译:稳定尖的类零曲线的模空间的对数正则模型
机译:基于无规则铁磁流体的Minkowski时空拓扑缺陷实验模型:磁单极子宇宙弦和时空斗篷
机译:公告的拓扑子集空间模型
机译:集合包装多面体的图形和典型面的临界割集。