Als «modal-logic» getaggte Fragen

Modallogiken, die mit einer Schachtelungstiefe axiomatisiert sind, die in PSPACE wahrscheinlich nicht vorhanden ist?

Ich suche nach Modallogiken, die durch eine endliche Menge von Axiomen der Modal Nesting Depth 1 axiomatisiert werden und deren Erfüllbarkeits- / Ableitbarkeitsproblem wahrscheinlich nicht in PSPACE vorliegt. Ohne die Einschränkung der modalen Verschachtelungstiefe ist dies kein Problem, siehe zum...

Komplexität der Modallogik IK5

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 ?I K 5IK5\mathit{IK5}ichK.5IK5IK5N.P.NPNP Was weiß ich über das Thema?...