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.
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.
-
(no subject)
I doubt any of the 5+/-2 people still reading this need to be encouraged to vote. One more day. Fingers crossed.
-
(no subject)
I guess I have watched all three debates for whatever reason. I have as an axiom in the back of my head to generally distrust statements of the form…
-
(no subject)
I know some people (rightly) hate long video recommendations but I seriously sat through all 49 minutes 26 seconds of this unedited interview by…
- Post a new comment
- 1 comment
- Post a new comment
- 1 comment
