Today's task

Last update on the dissertation: writing a formula that expresses

given a world w, in all worlds w' doxastically accessible for John from w, a given proposition P is true, namely the (unique true) proposition such that: (a) Fred knows the proposition, and (b) there's an individual concept x such that (i) there's some object z such that x maps each world onto the cost of z in that world, and (ii) there's some amount of money y for which the proposition P is the set of worlds such that x maps the world onto the amount of money y.

Which is of course the meaning of John knows the price Fred knows.

Unfortunately, it's only one of two meanings of that sentence. Today's task: deriving the other meaning. I'll be at True Grounds if anyone needs me.

(no subject)

Grrrrrr. No matter how much I click on "to post as another user, click here", LJ positively refuses to recognize that I'm typing in a username other than the one as which I'm logged in. This is just plain irritating.