Jason (jcreed) wrote,
Jason
jcreed

Some patches of sunlight today, but quite cold. The subway being down for the whole city is crazy. Traffic is just an unbelievable near-standstill everywhere I've been able to see. It's striking to see how essential public transportation is for this city, for better or worse. Once again I note how phenomenally, stupidly lucky I am in almost every aspect of my situation. Even unemployment feels like a benefit at this point. I don't have a job to get to or to stress out about on top of everything else. Actually, even if I did, I probably could have done it adequately from home.

I had some thoughts about mixing together the first-order aspects of my Intuitionistic Letcc paper with Frank with the Simpson-thesis-inspired soundness proof of labelled classical modal logic. I figure that, as long as first-order terms are also world-labelled, Barcan's formula should fail, and soundness should still hold. Trying to formalize the whole mess better and more incrementally than "you know, a big graph of worlds and stuff" is tricky though. I splatted down about five pages into the TeX buffer before running into some notation-management problems I don't know how to bail myself out of yet.
Tags: logic, math, modal logic, weather
Subscribe

  • (no subject)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…

  • (no subject)

    Still sad that SAC seems to end up being as complicated as it is. Surely there's some deeper duality between…

  • (no subject)

    I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment