Satoru Niki. Intuitionistic Modality and Beth Semantics. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 579-600, College Publications, 2022.
Abstract is missing.