Stephanou Y. Substitutional quantification in truth-theories for modal languages. Studia Logica [Internet]. 2025;113(6):1669-1711.