! LaTeX-Fehler: Datei „l3backend-pdfmode.def“ nicht gefunden (in der Zeile)

Question

Ich habe einige Details im Text der Datei geändert und erhalte nun diesen Fehler. Ich habe das entsprechende Paket bereits installiert und nichts ... :(

Der Fehler tritt in der folgenden Zeile auf:

\item $p \to q \,\vdash\, (p \to q) \, \vee \sim r $

Vollständiger Code:

https://drive.google.com/open?id=1z27i6UkOAugZBIUpB465lgM9Hxp4cDe9