2024.07.19
https://www.youtube.com/watch?v=SMZ1JHI-8oI
前:
2024.07.18
後:
2024.07.20
#日報
やった
$ \mathbf{GL} \vdash A
$ \iff
有限推移木
モデル
$ \mathcal{T} = \lang W, r, R, V\rang
の根
$ r
で
$ \mathcal{T}, r \vDash A
というのが形式化出来たように思える.
メモ
GLのModal Companion
Formal Propositional Logic
と呼ばれる命題論理はGödel変換を通して
$ \bf GL
と対応する,すなわち
Modal Companion
がある,らしい
A. Visser, et al., "Uniform interpolation and layered bisimulation"
Basic Modal Propositional Logic