Die Hinzufügung der Nachbarschaftsmodalität A zur Logik BD der Präfixe und Teilintervalle erhöht sowohl die Ausdruckskraft als auch die Komplexität der Logik. Insbesondere zeigen wir, dass die resultierende Logik BDAhom EXPSPACE-vollständig ist.
Die Hinzufügung der Nachbarschaftsmodalität A zur Logik BD der Präfixe und Teilintervalle erhöht sowohl die Ausdruckskraft als auch die Komplexität der Logik. Insbesondere wird gezeigt, dass die resultierende Logik BDAhom EXPSPACE-vollständig ist.