Degree of Kripke-incompleteness of Tense Logics
Logic
2025-09-25 v2
Abstract
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.
Cite
@article{arxiv.2507.04533,
title = {Degree of Kripke-incompleteness of Tense Logics},
author = {Qian Chen},
journal= {arXiv preprint arXiv:2507.04533},
year = {2025}
}
Comments
22 pages, 3 figures