2025.07.22
https://gyazo.com/4274330332f40a43d0c9905846e09e45
ｗｗ
前：
2025.07.21
後：
2025.07.23
#日報
メモ
Hennessy-Milnerの定理
image-finite
なモデルでは
bisimulation
と
modal equivalence
は同値になる．
メモ
van Benthamの定理
を追う