Abstract:
The work described in this paper aims at the def-inition of a general framework for the formal specifi-cation of agents’ beliefs in a multiagent environment. The basic idea is to model both agents’ beliefs and the view that each agent has of other agents’ beliefs as logical theories.