Jason (jcreed) wrote,

Almost feeling human again. Still a bit sniffly and congested, but I got some solid sleep last night, and that helped a lot.

Spent most of today wrestling with trying to understand Rowan's latest iteration on this family of modal logics him and Frank and me have been talking about over the last month or two. I am really skeptical of whether it cut-eliminates properly. This comes mostly just from an experience-fueled intuition that almost every sufficiently complicated logic you try to invent that is not definitely proven to cut-eliminate, in fact does not. Also there are some specific red flags, like the 0L rule having some funny side conditions that don't sit well with me.

Still, I haven't found any actual way to break it, even after making good progress drilling down into where I think the counterexample should lie, if anywhere: in the 0L commutative case of the cut theorem for cutting possibility judgments. I have it down to a relatively small lemma that I nonetheless can't see how to prove or refute.

Fun times anyhow!
Tags: math, modal logic, sick

  • (no subject)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Went to a series of maker-y talks hosted by Pivotal. The last one, by the woman who runs Genspace, "New York City's Community Biolab" was pretty…

  • (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


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded