加载中…
The degree of Kripke-incompleteness of a logic in some lattice of logics is the cardinality of logics in which share the same class of Kripke-frames with . A celebrated result on Kripke-incompleteness is Blok’s dichotomy theorem for the degree of Kripke-incompleteness in : every modal logic is of the degree of Kripke-incompleteness or . In this work, we show that the dichotomy theorem for can be generalized to the lattices , and of tense logics. We also prove that in , and , iterated splittings are exactly the strictly Kripke-complete logics.

生成讲解博客的中文版本

生成AI智能校验的中文版本