Gold Coin Blogger

بالنسبة إلى atomic$\ varphi $،$p\Vdash ^\ast\varphi$iff$\ {p_1\le p: p_1\Vdash ^\ast\varphi \}$كثيفة أقل من$p $