Spent most of the morning in bed, sick.
- About 3/4 of Part IV of Koslow, A Structuralist Theory of Logic
- Looked around online for info about modal logics of classical and intuitionistic provability, instead of PA provability; might have to email Dick for suggestions.
- Read SEP article on provability logics.
- Went to some of the talks at Standards of Validity in Late Imperial Chine
- Sent off the PoV paper to Paloma to see if it's up to spec for Navarre in Dec.