Natural Deductive Proofs in Modal Logic (Diamond Out)

[@confidosine]

will you ever consider making videos on second-order modal logic? I always wanted to learn it because it's the language in which Godel's Ontological Argument is written

[@Trevtutor]

I'll consider it, but I wouldn't count on it anytime soon. There's a lot in modal logic I'd like to get through first for progression.