@Meaningness @wargfranklin I have a bit of a fetish for modal logics under possible worlds interpretations. Just very seductively expressive
-
-
@vgr @wargfranklin Yeah, that was the basis of my MS work. Modal extension of temporal logic as formalism for robot planning. Won big. -
@Meaningness @wargfranklin Neat! We have more in common than I thought :) That's how I used it in postdoc http://www.ncbi.nlm.nih.gov/pubmed/17550121 - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.