J. Barewise and J. Etchemendy, The language of First-Order Logic, Lecture Notes. Center for the Study of Language and Information, vol.23, 1990.

C. Berrut, Indexing medical reports: The rime approach. Information Processing and Management, pp.93-109, 1990.

M. Chein and M. Mugnier, Conceptual graphs : Fundamental notions. Revue d'intelligence artificielle, pp.365-406, 1992.

M. Chein and M. Mugnier, Conceptual Graphs Are Also Graphs, 1995.
DOI : 10.1007/978-3-319-08389-6_1
URL : https://hal.archives-ouvertes.fr/lirmm-01090141

B. Chellas, Modal Logic, An Introduction, 1980.
DOI : 10.1017/cbo9780511621192

J. Chevallet, Un ModèleMod`Modèle Logique de Recherche d'Informations appliqú e au formalisme des Graphes Conceptuels. Le prototype ELEN et son expérimentationexp´expérimentation sur un corpus de composants logiciels, 1992.

E. A. Emerson, Temporal and Modal Logic, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4

R. L. Epstein, The Semantic Foundations of Logic, Nijhoff International Philosophy. Kluwer academemic publishers, vol.1, issue.35, 1990.
DOI : 10.1007/978-94-009-0525-2_11

R. L. Epstein, The Semantic Foundations of Logic, 1994.
DOI : 10.1007/978-94-009-0525-2_11

J. Esh, M. Pagnucco, M. Wermelinger, and H. Pfeiffer, Linear -linear notation interface, Fourth International Workshop on PEIRCE: A Conceptual Graph Workbench, pp.46-54, 1994.

H. Jean and . Gallier, Logic for Computer Science. Foundation of Automatic Theorem Proving, 1986.

G. E. Hughes and M. J. , An Introduction to Modal Logic, 1972.

T. Huibers, I. Ounis, and J. Chevallet, Axiomatization of a conceptual graph formalism for information retrieval in a situated framework, 1995.
URL : https://hal.archives-ouvertes.fr/hal-00954162

A. Kheirbek and Y. Chiaramella, Modeling hypermedia with conceptual graphes, WorkShop on Intelligent Hypertext, 1994.

A. Saul and . Kripke, Semantical analysis of modal logic in normal modal propositional calculi. Zeitsxhr. f. math. Logik und Grundlagen d. math, pp.67-96, 1963.

M. Lalmas, The use of logic in information retrieval modelling, The Knowledge Engineering Review, vol.13, issue.3, 1996.
DOI : 10.1017/S0269888998002124

M. Mechkour, C. Berrut, and Y. Chiaramella, Using conceptual graph frame work for image retrieval, International conference on MultiMedia Modeling (MMM'95), pp.127-142, 1995.

J. Nie and Y. Chiaramella, A retrieval model based on an extended modal logic and its application to the rime experimental approach, ACM SIGIR 90 Bruxelles, pp.25-43, 1990.

J. Nie, An information retrieval model based on modal logic, Information Processing & Management, vol.25, issue.5, pp.477-491, 1989.
DOI : 10.1016/0306-4573(89)90019-8

J. Nie, Un modèlemod`modèle logique général pour les Systèmes de Recherche d'Informations. Application au prototype RIME, 1990.

S. Popkorn, First steps in modal logic. Cambridge univerity press, 1994.

. Schank, Conceptual dependency: A theory of natural language understanding, Cognitive Psychology, vol.3, issue.4, pp.552-631, 1972.
DOI : 10.1016/0010-0285(72)90022-9

F. John and . Sowa, Conceptual Structures: Information Processing in Mind and machine, 1984.

C. J. Van-rijsbergen, A new theoretical framework for information retrieval, ACM Conference on Research and development in Information Retrieval, pp.194-200, 1986.
DOI : 10.1145/24634.24635

M. Wermelinger, Conceptual graphs and first-order logic, Third International Conference on Conceptual Structures, ICCS'95, pp.323-337, 1995.
DOI : 10.1007/3-540-60161-9_47
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.6518

J. Chiaramella, About Retrieval Models and Logic, The Computer Journal, vol.35, issue.3, pp.233-242, 1992.
DOI : 10.1093/comjnl/35.3.233
URL : https://hal.archives-ouvertes.fr/hal-00953824