Inloggen
inzicht - Logik der Präfixe und Teilintervalle
Die Hinzufügung der zeitlichen Nachbarschaft macht die Logik der Präfixe und Teilintervalle EXPSPACE-vollständig
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.
Die Hinzufügung der zeitlichen Nachbarschaft macht die Logik der Präfixe und Teilintervalle EXPSPACE-vollständig
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.
Producten | Bronnen
© 2024 by Linnk AI