Résumé : Nous proposons un modèle déductif et opérationnel de la croyance et plus généralement des modalités épistérniques, qui permet d'étudier la communication et la coopération entre des agents rationnels, mais non omniscients. Pour ce faire, nous évacuons toute notion de vérité objective, et substituons à une sémantique de la dénotation et des mondes possibles, une sémantique centrée sur des notions d'arguments et de preuves.Nos objectifs sont doubles d'une part, intégrer ces réflexions sur les agents logiques et la représentation des connaissances d'un agent sur autrui à une problématique d'IA distribuée; d'autrepart, proposer une sémantique des modalités du langage naturel et étudier divers phénomènes linguistiques qui en découlent.Aptes avoir précisé le cadre logique (X-calcul typé) et détaillé notre représentation des agents, nous verrons comment ce modèle permet de caractériser de façon souple et opératoire différents niveaux de connaissance explicte et implicite. Enfin nous introduirons la notion dedivers phénomènes sémantiques decommunauté de savoir pour rendre compte de disposition dans des contextes épistémiques.