2025.07.16
https://gyazo.com/7b9dfaec5120c7a3009f64155b602153
メモ
$ \Diamond \topと$ \Box p \to \Diamond pは$ \bf K上では同値だ．では$ \bf Eではどうなる？
↑の図．
特に$ \bf EMつまり$ \bf M（単調性規則だけのHilbert流）で議論されている 明らかなように，$ \sf Nつまり$ \Box \topを入れれば$ \sf Dから$ \sf Pは出る．
他の論理でどうなってるかは不明．
思った
選挙において「ほぼ拮抗状態でギリギリ勝ってます」みたいな状況があったとして、「そのような民意の状態で運営していくのはどう考えても支障があると思うのでもう一回全員で考えてみませんか？」というルールってあるのだろうかと思った
メモ