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.
Thomason (1975): Reduction of Tense Logic to Modal Logic II
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
-
On Interpretations of Normal Modal Logics
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.