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