Barrio, E. A. Expressibility, Validity and Logical Resources. CRHF 2018, 46, 3-36.