様相論理KTMk
G. H. Hughes, M. J. Cresswell; "A New Introduction to Modal Logic", p153
様相論理の公理Mk: $ \sf Mk
$ \mathsf{Mk} \equiv \Box(\Box\Box p \to \Box q) \to (\Box p \to q)
Makinsonに由来する．
は次のフレームを特徴づける
$ \forall x. \exists y. \lbrack x \prec y \land y \prec x \land \forall z. \lbrack y \prec^2 z \implies x \prec z \rbrack \rbrack
Fact
おそらく？$ \bf KTに$ \sf Mkを追加した$ \bf KTMkは有限フレーム性を持たない．
メモ
NIMLの証明は実際にはMakinson 1969とは違うらしい．
$ \sf Tに$ \Box(\Box \Box p \to \Box\Box\Box p) \to (\Box p \to \Box\Box p)を追加したものだったらしい．
$ \bf S4拡張で有限フレーム性を持たないものはFine 1972にある．