様相論理KTcの中間性
様相論理KTcは次の意味で無矛盾な正規様相論理の中で極大な様相論理Trivと様相論理Verの中間に位置する。
Prop
$ \vdash_\mathbf{KTc} A$ \iff$ \vdash_\mathbf{Triv} Aand$ \vdash_\mathbf{Ver} A
Cor
様相論理式を命題論理式に変換する$ \cdot^\mathrm{T}と$ \cdot^\mathrm{V}について（定義省略）
$ \vdash_\mathbf{Triv} A \iff \vdash_\mathbf{Cl} A^\mathrm{T}
$ \vdash_\mathbf{Ver} A \iff \vdash_\mathbf{Cl} A^\mathrm{V}
が成り立つことから、
$ \vdash_\mathbf{KTc} A \iff \vdash_\mathbf{Cl} A^\mathrm{T} \land A^\mathrm{V}
であり、更に$ \vdash_\mathrm{Cl}は決定可能なので$ \vdash_\mathrm{KTc}も決定可能。