2024.03.04
https://gyazo.com/66df5118d8aa845a8436eefe2814ab4a
Normal Modal Logicの訳だからまあ別に標準様相論理と呼んでも良いだろうと思っていた
が,調べた結果全然誰もそう読んでなくて,普通に正規様相論理と言うべきな気がしてきた. ところでNormal Modal Logicって普通はどこからどこまでがNormalなの?
下限はまあ$ \bf Kの拡張だろう.
すなわち$ \mathbf{cPL} + \mathbf K + \mathbf{(Nec)} + \mathrel{?}
$ ?ってどこまで何だろう.無制限に入れていいの?
Memo
連言/「かつ」を表す記号として&があるが、逆に解釈の余地なく択一/「または」であることを示す記号はなぜ無いのか
/は文脈によってはそうでもない
やった
いいね
https://www.youtube.com/watch?v=IFgpVMKCop0
https://nicothumb2img.vercel.app/image/sm43459632#.png https://nico.ms/sm43459632