2024.07.13
https://gyazo.com/3e8d6fb3ffe78aaf3e94ba858c33c0fd
メモ
$ \bf Kの公理$ \sf T,4,B,D拡張は全部有限フレーム性を持つ.
$ \bf KT4Bは証明能力という面では$ \bf S5と同等:$ \vdash_\mathbf{KT4B} A \iff \vdash_\mathbf{S5} A
$ \bf KT4Bは有限フレーム性を持っている(今回形式化した)
直ちにこれから$ \bf S5も持っているとは言えないのではと言う気がしたがそうだろうか
ただし両方とも決定可能ではある
思った
メモ