Petrukhin, Y. “S5-Style Non-Standard Modalities in a Hypersequent Framework”. Logic and Logical Philosophy, vol. 31, no. 3, Dec. 2021, pp. 427-56, doi:10.12775/LLP.2021.020.