List of logic notes:

• Logic and type theory
• Judgments versus propositions
• Type theory
• Model Theory for Modal Logic
• Axiom schemas in modal logic