April 5th, 2013

beartato phd

(no subject)

Had a nice further chat with Frank and Rowan about modal logic things. For Frank's sake I should probably figure out how to formulate this as a labelled-but-tethered presentation. I don't blame him for not being able to quite stomach the fiddly technical translations I like so much.