Spent most of the morning in bed, sick.
Reading
- 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.
Writing
Revising
Refereeing
Teaching
Conferences
- 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.
No comments:
Post a Comment