1. A formalisation of viewpoints;Attardi;Fundamenta Informaticae,1995
2. Indexical expressions;Bar-Hillel;Mind,1954
3. Formalizing belief reports—The approach and a case study;Benerecetti,1998
4. Model checking multiagent systems;Benerecetti;J. Logic Comput. (Special Issue on Computational & Logical Aspects of Multi-Agent Systems),1998
5. Reasoning about theory adequacy. A new solution to the qualification problem;Bouquet;Fundamenta Informaticae,1995