你即將離開本站

並前往https://link.springer.com/chapter/10.1007/3-540-48340-3_29

A New Space Bound for the Modal Logics K4, KD4 and S4

We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more efficient decision procedures ...

確定！ 回上一頁

查詢 「KD4」的人也找了：

  1. kd4復刻
    2.
  2. Kd3
    3.
  3. KD6
    4.
  4. Kd 2
    5.
  5. KD5
    6.
  6. KD 1
    7.
  7. Kd7
    8.
  8. Kd 3
    9.