La prise en compte de données imparfaites est un enjeu essentiel pour les systèmes d'information archéologiques, notamment parce que la constitution d'un corpus est un travail intrinsèquement collaboratif et interdisciplinaire. L'imperfection des données collectées est en partie liée à la fiabilité des sources qui contribuent à les enrichir. Notre contribution porte sur l'utilisation de plusieurs logiques modales pour modéliser et tester les effets de la prise en compte de données incertaines, mais aussi pour faciliter la vérification de la qualité du corpus dans une plateforme ouverte et extensible permettant de gérer les données archéologiques. Pour la partie applicative, le raisonneur utilisé, basé sur la logique du premier ordre, fournit aux archéologues les moyens de valider ou non leurs hypothèses. Plusieurs raisonnements avec différentes modalités sont proposés autour d'un exemple simple qui rassemble les types d'incertitudes habituellement rencontrés. ABSTRACT. The consideration of imperfect data is a key issue for archaeological information systems, in particular because the elaboration of a corpus is intrinsically a collaborative and interdisciplinary task. The imperfect property of collected data is partly related to the reliability of the sources contributing to enrich them. Our contribution brings the use of several modal logics to model and verify the effects of the consideration of uncertain data, but also to check the quality of the corpus in an open and extensible platform allowing the management of archaeological data. From the application point of view the reasoner used, based on the first order logic, provides the archaeologists with tools to validate or not their hypotheses. Some case studies of reasoning using different modalities are proposed around a simple example which gathers the kinds of uncertainty usually encountered.