Title: De la logique modale à la logique des bases de données
Subjects: Base donnée, Formalisation raisonnement, Logique temporelle, Grammaire Montague, Logique intentionnelle, Langage naturel, Intelligence artificielle, Logique modale