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
Omniscience principles
Truth values in a topos
Kripke semantics
Heyting algebra
back to home page