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