Was ist die Komplexität des lokalen Erfüllbarkeitsproblems für modale Logik ? Hier bezeichnen wir mit die Modallogik über euklidische Rahmen, die mit inverser Modalität erweitert wurden. Könnten Sie Referenzen angeben? Ist es in ?
Was weiß ich über das Thema?
Es ist leicht zu erkennen, dass sich in , da es eine Reduktion von (dem zwei Variablen geschützten Fragment der Logik erster Ordnung) gibt - siehe Entscheiden einer regulären Grammatiklogik mit Converse Through First-Order-Logik .
Auf der anderen Seite, die gewöhnliche ist - vollständig.
Wir können eine nicht zufriedenstellende Formel in (das einvariable Fragment der Logik erster Ordnung) schreiben , weil die Modelle in drei Teile unterteilt werden können: (1 ) Startwelt , (2) Nachfolger von (3) Nachfolger von Nachfolgern von . Die beispielhafte Reduzierung für noch härtere Logik ( mit abgestuften Modalitäten) ist in A Hinweis zur Komplexität des Erfüllbarkeitsproblems für abgestufte Modallogiken beschrieben . Bei inverser Modalität können wir jedoch nicht denselben Trick ausführen - die kurze Idee ist, dass inverse Welten die unterschiedliche Anzahl von Nachfolgern erfordern könnten.