Petrukhin Y. Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities. LLP [Internet]. 2025 Apr. 28 [cited 2025 Jun. 28];34(2):287-318. Available from: https://apcz.umk.pl/LLP/article/view/55160