Modal Systems in Kripke and Fitch styles Jason Hu | Mon 20 June 2022 A comparison of formulations of modal type systems in Kripke and Fitch styles