A Graded Modal Approach to Relaxed Semantic Declassification. - Vineet Rajani; Alex Coleman; Hrutvik Kanabar (CSF, 2025)