Download Linnk AI
•
Autonome onderzoeksassistent
>
Inloggen
inzicht
-
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