以谓词表达模态，在表达力上比算子具有更明显的优势，但蒙塔古悖论和语义的不完善曾使模态谓词遭遇技术困境。采用 “模态” 与 “真” 相结合的研究策略，不仅可以在语形上利用真谓词...
成仿吾，无产阶级革命家、忠诚的共产主义战士... 详细>>
如何设计有效的环境治理政策, 是学术界和政策... 详细>>
