Bewertungssemantik für Logiken erster Ordnung von Beweis und Wahrheit (und einige verwandte Logiken)