![Mathematics / Interpretation / Philosophy of language / Philosophy of mind / Semantics / Constructible universe / Golden ratio / Philosophy of mathematics / Linear temporal logic / Model theory / Formal languages / Logic Mathematics / Interpretation / Philosophy of language / Philosophy of mind / Semantics / Constructible universe / Golden ratio / Philosophy of mathematics / Linear temporal logic / Model theory / Formal languages / Logic](https://www.pdfsearch.io/img/7b69f25473e505bbd2a4285322186362.jpg)
| Document Date: 2010-11-17 08:13:00 Open Document File Size: 265,92 KBShare Result on Facebook
Company M and S / / Country Israel / / IndustryTerm Social software / particular communications / cake cutting algorithms / auction protocols / social protocol / presupposition processing / social algorithms / Social software analysis / well established interaction protocols / social software calls / cases social software / social protocols / fair division protocols / divisor algorithm / social software protocol / / Person Bob / Alice / Rohit Parikh / Carol / Van Benthem / Figure / A. Let / / Position king / model / speaker / General / action model / / ProgrammingLanguage Haskell / Java / C / / Technology interaction protocols / Java / cake cutting algorithms / real protocol / divisor algorithm / social protocol / social software protocol / specific social protocols / auction protocols / /
SocialTag |