MoL-2024-08: Justus Becker Proof Translations for Intuitionistic Modal Logic 1.Full Text, 2.Abstract. < Back