تنزيل 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