Department of Mathematics, Rand Afrikaans University PO Box 524, Auckland Park 2006, Johannesburg, South Africa;
机译:混合双模态逻辑中的Sahlqvist公式
机译:代数模态对应:Sahlqvist及以后
机译:模态不动点逻辑的Sahlqvist定理
机译:Sahlqvist公式释放在多亚型模式语言中
机译:色散公式,用于分析圆形光纤中导波和自由电磁波模式之间的模态干扰以及其他现象。
机译:相关逻辑中的萨尔奎斯特公式
机译:sahlqvist公式在polyadic莫代尔语言中释放出来