 Another semantics for quantified relevance logics is given by Mares and Robert Goldblatt (2006) and further developed in Goldblatt (2011). In addition to worlds and domains, a model on this theory contains a set of propositions, which are designated sets of words. A formula \(\forall xA(x)\) is true at a world \(w\) if and only if there is a proposition \(\pi\) true at \(w\) such that \(\pi\) entails every instance of \(A(x)\). This means that at every world in the set \(\pi\), every instance of \(A(x)\) is true. 