Moss and Viglizzo's coalgebraic semantics demonstrates that for finitary modal logics, truth-preserv...