The decidability of system M can thus be derived from the finite model property.

  • 这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的。

  • 互联网摘选 2025-01-20 18:23:49

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句