Tải xuống Linnk AI
•
Trợ lý Nghiên cứu Tự động
>
Đăng nhập
thông tin chi tiết
-
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