产品提交
文章投稿
登录/注册
显示直达
窗口运算符
是一个
模型
模态
窗口运算符
算子
窗口运算符
简介在模态逻辑中,窗口运算符△{displaystyle{triangle}是一个模态算子,其语义定义如下是一个模态算子,其语义定义如下。{displaystyleM=(W,R,f)}为Kripke模...
添加小工具
点此为“分类归档侧边栏”添加小工具
窗口运算符