Franklin's Notes
List of logic notes:
Logic and type theory
Judgments versus propositions
Type theory
Model Theory for Modal Logic
Axiom schemas in modal logic
back to home page