2024.10.10
https://www.youtube.com/watch?v=HSHZbIjEcsI
前：
2021.10.09
後：
2024.10.11
#日報
観た
未来日記
のアニメ
我妻由乃
本当にすごい
思った:
正規様相論理+選言的公理
次の様相論理の公理を
$ \bf K
に入れた論理はどうなるのだろうか？
$ \mathsf{V} \equiv (A \lor \Box A) \to A
$ \mathsf{VB} \equiv (A \lor \Box A) \to \Box A
メモ
デジタルの日
ですが