Complete classification of additive and normal formulas in modal logics K, GL, Grz, S4, and S5 for diamond interpretations, with parameter versions for K, GL, and S5.
The Journal of Symbolic Logic 64(1), pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Most properties including Kripke completeness, finite model property, and decidability are undecidable for transitive tense logics in NExt(K4t).
citing papers explorer
-
Most Properties are Undecidable for Transitive Tense Logics
Most properties including Kripke completeness, finite model property, and decidability are undecidable for transitive tense logics in NExt(K4t).