机译:石空间的模态逻辑
Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM 88003-8001, USA;
Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM 88003-8001, USA;
modal logic; boolean algebra; stone space; metrizable space; extremally disconnected space;
机译:一种用于空间推理的新模态逻辑:空间命题邻域逻辑
机译:石器时代的模态:共代逻辑的比较
机译:关于序列的Banach空间和自由线性逻辑指数模态
机译:基于帧的多价模态逻辑度量空间
机译:实数的某些子空间的模态逻辑:菱形为导数。
机译:拟度量空间和度量空间中的近似蕴涵逻辑
机译:石器时代的形式:煤代数逻辑的比较