Semantics and Validation Procedures of a Multi-Modal Logic for Formalization of Multi-Agent Universes. - P. Gaborit; A. Potet; Claudette Sayettat (ECAI, 1990)