Petrukhin, Y. (2021). S5-Style Non-Standard Modalities in a Hypersequent Framework. Logic and Logical Philosophy, 31(3), 427–456. https://doi.org/10.12775/LLP.2021.020