struct the joint provability logic of D and Δ. The peculiarity of Δ in provability- ... In this case (Aφ)° is a synonym for (Πφ)° and.
確定! 回上一頁