Skip to content
学技术
Menu
Home
operators
operators
IT技术
模态算子能否定义为布尔函数?
xiaolong
·
2025年4月4日
·
0 Comment
为了简化起见,我们仅考虑单一代理的Kripke结构,其…