短语词组短語deterministic propositional dynamic logic 確定性命題邏輯many -sorted propositional dynamic logic 多類命題動態邏輯 返回 propositional dynamic logic