In addition, the possible world semantics of the classical normal modal operator can be regarded as the degradation of the improved twin-subset semantics when RIF( w)=?

 
  • 经典的正规模态算子的可能世界语义可以看成是改进的双子集语义当RIF()?
今日热词
目录 附录 查词历史