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