Work after #626 $\Diamond \phi$ をある $\mathbb{P}$ と $p \in \mathbb{P}$ があって $p \Vdash_\mathbb{P} \varphi$ と読むことにする． Hamkins, Löwe, Modal Logic of Forcing.
