Baixe o Linnk AI
•
Assistente de Pesquisa Autônomo
>
Entrar
insight
-
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