Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4

We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.     

On the axiomatization of finiteK-frames

We find a short way to construct a formula which axiomatizes a given finite frame of the modal logicK, in the sense that for each finite frameA, we construct a formula ωA which holds in those and only those frames in which every formula true inA holds. To obtain this result we find, for each finite model \(\mathfrak{A}\) and each natural numbern, a formula ω \(\mathfrak{A}\) which holds in those and only those models in which every formula true in \(\mathfrak{A}\) , and involving the firstn propositional letters, holds.