Le modèle précédent n'est pas complètement satisfaisant au niveau de la représentation des connaissances. Nous allons conserver ici une logique modale, mais aussi redéfinir l'attribution des forces aux états mentaux et introduire un datage des connaissances.