![Modal logic / Non-classical logic / Common knowledge / Multi-agent system / Model checking / Temporal logic / Proposition / Kripke semantics / Logic / Mathematical logic / Philosophical logic Modal logic / Non-classical logic / Common knowledge / Multi-agent system / Model checking / Temporal logic / Proposition / Kripke semantics / Logic / Mathematical logic / Philosophical logic](https://www.pdfsearch.io/img/a978f2ab4feeff2e0e5b07bf783e0563.jpg)
| Document Date: 2011-06-27 10:05:13 Open Document File Size: 381,26 KBShare Result on Facebook
City Rio de Janeiro / / Company Multiagent Systems / Ki / / Currency cent / / / IndustryTerm multi-agent systems / complicated systems / epistemic operator / / Movie A. D. / / Person Bui / / Position T. D. / / PublishedMedium Lecture Notes in Computer Science / / Technology artificial intelligence / dom / /
SocialTag |