机译:K4延伸的规范拓扑模型
City University of New York Brooklyn College Philosophy Department 2900 Bedford Avenue Brooklyn NY 11210 USA;
Topology; Modal Logic; Derived Set; Derivative; K4; Canonical;
机译:K4扩展的典范拓扑模型
机译:K4扩展的典范拓扑模型
机译:K4延伸的规范拓扑模型
机译:Projective Beth在模态逻辑K4的无限切片扩展中的属性
机译:对典型相关分析和主要成分分析的延伸,应用于生存和脑成像数据
机译:非规范的果蝇X染色体剂量补偿和抑制性拓扑相关域
机译:布尔拓扑分布格和范式扩展