Substitutional validity for modal logic - Grossi, M (Notre Dame Journal of Formal Logic, 2023)