ดาวน์โหลด Linnk AI
•
ผู้ช่วยวิจัยอัตโนมัติ
>
ลงชื่อเข้าใช้
ข้อมูลเชิงลึก
-
Modellprüfung inquisitiver Logiken
Komplexität des Modellprüfproblems für inquisitive propositionale und modale Logik
Das Modellprüfproblem für die inquisitiven Logiken InqB und InqM ist PSPACE-vollständig.
1