Abstract FR:

Mise en evidence de l'importance des principes d'interaction qui permettent d'exprimer les proprietes liant les differents concepts modaux du langage. La dualite entre operateurs modaux et relations binaires est etudiee en utilisant la semantique de kripke. Pour une classe relativement generale d'axiomes multimodaux, un resultat de correspondance de ceux-ci avec des equations relationnelles, ainsi qu'un theoreme general de completude pour les systemes multimodaux construits a partir de ces axiomes, sont proposes