Jason (jcreed) wrote,

Aha! Sometimes I really love being wrong. Rowan led me to a misconception I had that

T |- []T

might hold in linear K in the weather report, but it definitely doesn't: the [] on the right wants the context to be empty right now.

Dealing with this finally reconciled the apparent gross asymmetry between pfenning-davies box and diamond. To make sure this doesn't hold in my encoding, box needs a funny side-condition just like diamond and everything is symmetric and beautiful again. Started writing it up a little bit here.
Tags: logic, math

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded