La sémantique des vérifacteurs fournit un outil important pour étudier la logique de constructions hyperintensionnelles (Fine 2017a, 2017b). Dans la mesure où les énoncés décrivant des actes de conception et d'imagination sont manifestement des constructions hyperintensionnelles (Berto 2017), nous avons une première motivation pour formuler une sémantique vérifactionnelle pour la logique de l'imagination. Une seconde motivation provient de l'usage de la notion de vérification par certains théoriciens de l'imagination et de la conception. En particulier, Chalmers (2002) fait reposer sa théorie de l'imagination modale sur une relation de vérification entre des situations et des énoncés. Il semble ainsi que la sémantique des vérificateurs fournit des outils particulièrement appropriés pour étudier la logique de cette notion. Dans cette contribution, nous décrivons une sémantique vérifactionnelle pour une logique de l'imagination modale, la comparons à la logique proposée par Berto (Berto 2017) et soutenons qu'elle permet un meilleur traitement de l'hyperintensionalité de l'imagination.