February 22, 2018September 3, 2023Modal Logic! Propositional Logic! Tableaux! Progress by rzach6 comments Lots of new stuff in the Open Logic repository! I’m teaching modal logic this term, and my ambitious goal is […]