indexed dynamic Logic的意思|示意
美 / /
英 / /
索引动态逻辑
indexed dynamic Logic的网络常见释义
加标动态逻辑 栏目标题 关键词：加标动态逻辑；实践和成功实践；活动程度；活动否定 [gap=20984]Key words：indexed dynamic Logic; practice; degree of action; negation by action