indexed dynamic Logic的意思|示意
美 / /
英 / /
索引动态逻辑
indexed dynamic Logic的网络常见释义
加标动态逻辑 栏目标题 关键词：加标动态逻辑；实践和成功实践；活动程度；活动否定 [gap=20984]Key words：indexed dynamic Logic; practice; degree of action; negation by action
indexed dynamic Logic相关例句
We introduce an indexed dynamic logic, give logical characterization of the concepts of practice and degree of action and negation by action by it and its variations.
文章建立了几类动态系统来刻画动态否定概念，并引入相应的语义，然后证明这些系统相对这些语义是可靠和完全的。