A.N.Prior的模态直觉主义演算MIPC具有13个模态辞

研究直觉主义系统的模态扩充,特别是在文献1]中意义下属于S5型的有许多。这其中包括文献2]中的系统IS5,以及文献3]中的四个系统IM4W,IM4M,IM4S以及IM5。然而在这许多系统中提出最早且