Message Generated Kripke Semantics

Additional Metadata
THEME	Software (theme 1), Logistics (theme 3)
Publisher	International Foundation for Autonomous Agents and Multiagent Systems
Project	Knowledge and Interaction in Social and Economic Networks , Knowledge and Interaction in Social and Economic Networks
Conference	International Joint Conference on Autonomous Agents and Multiagent Systems
Organisation	Software Analysis and Transformation
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van Eijck, J.& Sietsma, F. (2011, January). Message Generated Kripke Semantics. Proceedings of the 10th International Joint Conference on Autonomous Agents and Multiagent Systems.

Publication