1,402 followers
@RrrichardZach Indrzejczak's Natural Deduction Hybrid Systems and Modal Logics has a fairly detailed section on different approaches to modal logic in Fitch. https://t.co/UN6eStN503
@RrrichardZach Indrzejczak's Natural Deduction Hybrid Systems and Modal Logics has a fairly detailed section on different approaches to modal logic in Fitch. https://t.co/UN6eStN503