The Finite Model Property of Quasi-transitive Modal Logic

Zhe Lin, Minghui Ma

The finite model property of quasi-transitive modal logic ${\mathsf{K}}_2^3=\mathsf{K}\oplus \square \square p\to \square \square \square p$ is established. This modal logic is conservatively…