Y. Petrukhin, “Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities”, LLP, vol. 34, no. 2, pp. 287–318, Apr. 2025.