S4.3を拡張した正規様相論理は全て決定可能
Bullの定理
$ \bf S4.3
の正規拡張は全て
有限モデル性
を持つ．
Fineの定理
:
Fine 1972
$ \bf S4.3
の正規拡張は
有限公理化可能
．
Corollary
$ \bf S4.3
の正規拡張は
決定可能
．
メモ
$ \bf K4.3
の分析もある．（詳細不明）
M. Zakharyashev, A. Alekseev; "All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable"