Logiques modales et informations incomplètes

par Pascal Ostermann

Thèse de doctorat en Sciences appliquées

Sous la direction de Robert Demolombe.

Soutenue en 1988

à Toulouse, ENSAE .


  • Résumé

    Étude de la modélisation de l'information incomplète. Dans ce but, sont employées des logiques modales, où "peut être p" signifie que "p" est consistant avec les informations présentes dans la base de données. Une première partie traite de la logique standard. Dans la seconde partie sont etudiées les logiques multivaluées.

  • Titre traduit

    Modal logic and incomplete information


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (176 p.)
  • Annexes : Bibliogr. p. [173]-176 Index p. [169]-172

Où se trouve cette thèse ?

  • Bibliothèque : Institut Supérieur de l'Aéronautique et de l'Espace. Service documentation.
  • Disponible pour le PEB
  • Cote : 1988/21 OST
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.