![Modal logic / Philosophical logic / Theoretical computer science / Model theory / Logic programming / Bisimulation / Epistemic modal logic / Interpretation / Propositional variable / Logic / Mathematical logic / Mathematics Modal logic / Philosophical logic / Theoretical computer science / Model theory / Logic programming / Bisimulation / Epistemic modal logic / Interpretation / Propositional variable / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/916033b61e63d7663931640b5ed3bcec.jpg)
| Document Date: 2011-03-25 01:15:11 Open Document File Size: 208,51 KBShare Result on Facebook
Company Ki / / Country Australia / Spain / / / Facility University of Western Australia / University of Sevilla / / IndustryTerm multi-agent systems / epistemic operator / modal operator / / Organization University of Sevilla / Sevilla / University of Western Australia / Perth / / Person Ai / / Position model / / ProvinceOrState Western Australia / / Region Western Australia / / Technology artificial intelligence / PKI / /
SocialTag |