(1)
Petrukhin, Y. S5-Style Non-Standard Modalities in a Hypersequent Framework. LLP 2021, 31, 427-456.