Petrukhin, Yaroslav. “Nested Sequent Calculi for Some Modal Logics With Non-Standard Modalities”. Logic and Logical Philosophy, vol. 34, no. 2, Apr. 2025, pp. 287-18, doi:10.12775/LLP.2025.009.