动态逻辑

来自术语
跳转至: 导航搜索

    可对动作及其所产生的效果进行表达和推理的一种模态逻辑。

英文名 dynamic logic



链接

Wikipedia https://en.wikipedia.org/wiki/dynamic_logic