本书是我国学术界*部关于集合论、余代数与模态逻辑交叉研究的著作。首先,以非良基集合为语义结构对模态逻辑进行解释,研究模态逻辑在集合论语义下的对应理论、可定义性及表达力等问题,取得了一些新的研究成果,丰富了集合论理论和逻辑理论。其次,把余代数看做非良基集合的抽象数学模型,它作为对关系语义学的推广,着重研究余代数模态逻辑。