![Philosophical logic / Model theory / Non-classical logic / Dynamic logic / Epistemic modal logic / Kripke semantics / First-order logic / Hoare logic / Actor model / Logic / Mathematical logic / Modal logic Philosophical logic / Model theory / Non-classical logic / Dynamic logic / Epistemic modal logic / Kripke semantics / First-order logic / Hoare logic / Actor model / Logic / Mathematical logic / Modal logic](https://www.pdfsearch.io/img/e3f25c8fedeebb9972573f3293f77f1d.jpg)
| Document Date: 2010-11-17 11:26:53 Open Document File Size: 598,17 KBShare Result on Facebook
IndustryTerm given communication protocols / cognitive applications / formal tool / transition systems / applications such systems / cognitive processing / / Organization Department of Philosophy / / Person Jan van Eijck / Floyd-Hoare Logic / Martin Stokhof / Floyd-Hoare Reasoning / / Position researcher / speaker / / ProgrammingLanguage Haskell / Java / C / / Technology Java / given communication protocols / /
SocialTag |