van Eijck, Jan and Sietsma, Floor and Wang, Yanjing
Journal of Applied Non-Classical Logics, 21(3-4): 397—425, 2011
Publication year: 2011

 

Abstract. We propose and study a new composition operation on (epistemic) multi-agent models with different vocabularies of propositional letters. This operation allows us to compose large models by small components representing agents’ partial observational information. Our investigation provides ways to decompose (locally generated) epistemic models such that the truth of certain formulas are preserved. By using the composition operation we also propose and study action model composition and action model updates on models with arbitrary vocabularies.