Y. Petrukhin, “S5-Style Non-Standard Modalities in a Hypersequent Framework”, LLP, vol. 31, no. 3, pp. 427–456, Dec. 2021.