List of logic notes:

• Logic and type theory
• Judgments versus propositions
• Type theory
• Model Theory for Modal Logic
• Axiom schemas in modal logic
• Omniscience principles
• Truth values in a topos
• Kripke semantics
• Heyting algebra