2024.04.15
https://www.youtube.com/watch?v=gzZCXvW0yk8
今日ずっとこれしか聞いて無くて終わった
メモ
アニメが良かったので気になって『ささやくように恋を唄う』1巻を読んだのだが依先輩のセリフが結構な頻度で撥音便(方言?)になっているのが気になってきた メモ
無矛盾な正規様相論理$ \Lambdaは$ \Lambda \sube \mathbf{Ver}または$ \mathbf{KT} \sube \Lambda \sube \mathbf{Triv}のどちらか一方だけが成り立つ. この意味で$ \mathbf{Ver,Triv}は極大な正規様相論理である.
思った
当時の自分は「$ \Boxと$ \Diamondを使う様相論理」を正規様相論理と呼んでいてそのように命名してしまったが、後に違うことがわかった
それでは「$ \Boxと$ \Diamondの様相論理一般」以外に言う方法は無いのだろうか?(例えばKより弱い論理や異質な論理を含まなく、困る)
Memo