模态算子能否定义为布尔函数?

为了简化起见,我们仅考虑单一代理的Kripke结构,其…