动态逻辑（模态逻辑）-一流百科

动态逻辑（模态逻辑）

动态逻辑（模态逻辑）在逻辑学、哲学和理论计算机科学中，动态逻辑是模态逻辑的一个扩展，能够对计算机程序的属性进行编码。这说明，如果地面目前是干的，而...

词条百科