Petrukhin, Y. Nested Sequent Calculi for Some Modal Logics With Non-Standard Modalities. LLP 2025, 34, 287-318.