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

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