@wargfranklin So I follow the "do or do not, there is no try" school of writing...
Conversation
Replying to
2
Replying to
@wargfranklin Thar be Ted Nelsonian Xanadus. There's always a way to caricature at lower order instead of pointing :D
1
Replying to
1
Replying to
2
2
Replying to
@wargfranklin I once made up a rather fragile possible worlds proof using <> and [] on top of discrete probability
1
Replying to
@wargfranklin Once you throw in quantifiers, it gets extremely hairy extremely quickly
1
1
Replying to
@wargfranklin I have a bit of a fetish for modal logics under possible worlds interpretations. Just very seductively expressive
1
Replying to
@wargfranklin Yeah, that was the basis of my MS work. Modal extension of temporal logic as formalism for robot planning. Won big.
1
1
Replying to
@wargfranklin Neat! We have more in common than I thought :) That's how I used it in postdoc ncbi.nlm.nih.gov/pubmed/17550121
Replying to
Cool! Mine is explained in meaningness.com/metablog/how-t which @wargfranklin ’s piece today linked to
1

