Two types of filtrations for $wK4$ and its relatives

Andrey Kudinov, Ilya Shapirovsky

We study the finite model property of subframe logics with expressible transitive reflexive closure modality. For $m>0$, let ${\mathrm{L}}_m$ be the logic defined by axiom $\lozenge^…