様相論理KMk
$ \mathsf{Mk} \equiv \Box(\Box\Box p \to \Box q) \to (\Box p \to q)
は次のフレームを特徴づける
$ \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 Kに$ \sf Mkを追加した$ \bf KMkは有限フレーム性を持たない. メモ
$ \sf Tに$ \Box(\Box \Box p \to \Box\Box\Box p) \to (\Box p \to \Box\Box p)を追加したものだったらしい.