On partitioning Kripke frames of finite height

Andrey Kudinov, Ilya Shapirovsky

The paper proves finite model property and decidability for a family of modal logics. A binary relation $R$ is called pretransitive, if $R^{\ast }={\cup }_{i\le m}{R}^i$ for some $m\ge 0$,…