2024.11.28
https://FormalizedFormalLogic.github.io/ModalLogicKite/kite.png
Current status of modal logic kite
こういう論理の強弱の図を大西先生(大西琢朗)が「凧(Kite)」と呼んでいて良いなと思ったのでそう命名した ゆくゆくはいわゆるModal Cubeと呼ばれるKTDB45の拡張論理15個(32個)の真の強弱と同値性をちゃんと示しておきたい（地道にやるだけ） 様相論理の強弱に関して形式化した事実（面倒なので全部はやっていない）を図示してみたけどもこういう図をdot言語で書いてGraphvizでやるのは本当に正しいのかわからない どうすればいいのだろう メモ
思った