短语词组短语deterministic propositional dynamic logic 确定性命题逻辑many -sorted propositional dynamic logic 多类命题动态逻辑 返回 propositional dynamic logic