| (no subject) |
[May. 16th, 2013|09:08 pm]
|
Long day at work but makin' progress on things. The trains were kinda fucked up so I got out a couple stops early and stopped in the piano store up the street from my apartment, which turned out to be a fantastic decision. They had a old-timey rock organ in the window which was fun to play on.
Met up with william morgan in the middle of the day, who I knew from (long since defunct machine learning research lab) jprc waaaay back in the day. Like '99 or somethin'. Definitely an enjoyable mutual "what the hell have you been up to in the last decade" chat. |
|
|
| (no subject) |
[May. 15th, 2013|09:05 pm]
|
K and I went to this tapas place and it was really good. Little fried cod nuggets that were buttery soft. Warm goat cheese balls of some kind with ham. Had the obligatory patatas bravas, and they weren't very good, but whatever, everything else was. |
|
|
| (no subject) |
[May. 12th, 2013|08:55 pm]
|
Didn't do a lot today, felt kinda sickish. |
|
|
| (no subject) |
[May. 10th, 2013|03:17 pm]
|
Ok I think I have a satisfying-to-me* explanation of all the stuff in frank's modal logic "weather report" now. They key points are:
- Box is still straightforwardly "for all future worlds".
- Upshift is still frame-parameterized double-negation,
↑P @ w = ∀φ.(P @ w → #(φ, w)) → #(φ, w)
This is what achieves the "tethering" effect of Pfenning Davies.
- Diamond is a variant of this:
◇P @ w = ∀φ.w ≥ φ → (∀v ≥ w. P @ v → #(φ,v)) → #(φ, w)
*i.e., fiddly-token-passing-translation-compatible
The tricksy thing I am doing is assuming there is an inclusion from frames (e.g. the φ that is quantified over) into Kripke worlds (e.g. the v, w) so that I can compare them in that w ≥ φ there.
The punchline is that I should be able to vary the axiomatization of ≥ from no axioms to just refl to just trans to refl and trans, and I think I get out weather-report K, T, K4, and S4, respectively. |
|
|
| (no subject) |
[May. 8th, 2013|04:16 pm]
|
Mail mystery solved! My local post office said they absolutely do not do holds unless asked for; if they give up on delivery, the action is to return to sender. Turns out the mail was actually being stashed in the neighboring apartment. All sorts of new-hire goodies within. Xmas morning, etc. etc. |
|
|
| (no subject) |
[May. 5th, 2013|08:57 pm]
|
Very nice having some low-key hangouts with K now that I'm back home. Tried "Bar Tabac" a ways up the street which has been there the whole time I've lived here, but never went until now. Had a tasty pasta dish. Tidied up the apartment a bit. My bedroom area is cleaner than it's been in a long time. |
|
|
jcreed