Petrukhin, Yaroslav. “S5-Style Non-Standard Modalities in a Hypersequent Framework”. Logic and Logical Philosophy 31, no. 3 (December 16, 2021): 427–456. Accessed April 25, 2024. https://apcz.umk.pl/LLP/article/view/33865.