 Representation Theorem for Rational Logics: if \(\dproves\) is a rational consequence relation (i.e., a preferential relation that satisfies Rational Monotony) then there is a preferential structure \(\mathcal{M}\) satisfying the Limit Assumption and the Ranked Models Assumption such that for all finite theories \(T\), the set of \(\dproves\) -consequences of \(T\) is exactly the set of formulas true in every preferred model of \(T\) in \(\mathcal{M}\).