短語(yǔ)詞組短語(yǔ)deterministic propositional dynamic logic 確定性命題邏輯many -sorted propositional dynamic logic 多類(lèi)命題動(dòng)態(tài)邏輯 返回 propositional dynamic logic