Stephanou Y. Substitutional quantification in truth-theories for modal languages. Studia Logica (online first) [Internet]. Forthcoming.