The second, we show the equivalence of P3 and S3.

 
  • 其次证明模态系统P3和严格蕴涵系统S3等价.
今日热词
目录 附录 查词历史