Grunnleggende konsepter
Das Modellprüfproblem für die inquisitiven Logiken InqB und InqM ist PSPACE-vollständig.
Sammendrag
Der Artikel untersucht die Komplexität des Modellprüfproblems für die inquisitiven Logiken InqB (inquisitive propositionale Logik) und InqM (inquisitive modale Logik). Inquisitive Logiken erweitern klassische und nicht-klassische Logiken um Fragen. Im Gegensatz zur klassischen Semantik, die sich auf Wahrheitsbedingungen konzentriert, basiert die Semantik inquisitiver Logiken auf einer Unterstützungsrelation zwischen Informationszuständen und Sätzen.
Der Hauptbeitrag des Artikels ist der Nachweis, dass das Modellprüfproblem für beide Logiken PSPACE-vollständig ist. Dafür wird zunächst ein Algorithmus für Alternierende Turingmaschinen präsentiert, der zeigt, dass das Modellprüfproblem für InqM in PSPACE liegt. Anschließend wird eine polynomielle Reduktion des PSPACE-vollständigen Problems der wahren quantifizierten Booleschen Formeln (TQBF) auf das Modellprüfproblem für InqB gezeigt, was die PSPACE-Härte beweist.
Die Ergebnisse zeigen, dass die Komplexität des Modellprüfproblems für inquisitive Logiken ähnlich komplex ist wie für verwandte Logiken wie Teamlogiken, die ebenfalls auf Informationszuständen anstelle von Wahrheitswerten basieren.
Statistikk
Keine relevanten Statistiken oder Zahlen im Text.
Sitater
Keine markanten Zitate im Text.