关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献1]时,著者在文献2]中对于演算(?)_ε得到一条类似的定理,即文献2]中的定理6。这里应指出,Castaneda在文献1]中的定理和文献2]中的定理6实质上是等价的。这里先对文献2]中有关部分作一些修正。文献2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中