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.
Maksimova (1980): Interpolation theorems in modal logics
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Completes Maksimova's classification of normal extensions of S4 by proving Craig interpolation for the six remaining open cases via Fine's frame formulas.
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.
-
Interpolation above S4
Completes Maksimova's classification of normal extensions of S4 by proving Craig interpolation for the six remaining open cases via Fine's frame formulas.