一阶动态逻辑 in English - 一阶动态逻辑 English translation - 一阶动态逻辑 meaning in English - translation-dictionary.net Chinese English dictionary