Proefschrift--Wijsbegeerde--Leiden, 1981. / Bibliogr. p. 497-502. Index. Résumé en anglais. L'éd. commerciale porte l'ISBN 90-271-1801-9.

The goal of this thesis is the study of a harmonious way to combine any first order theory with the theory of finite or infinite trees. For that: First of all, we introduce two classes of theories that we call \emph{infinite-decomposable} and \emph{zero-infinite-decomposable}. We show that these theories are complete and accept a decision procedure which for every proposition gives either $\vrai$ or $\faux$. We show also that these classes of theories contain a large number of fundamental theories used in computer science, we can cite for example: the theory of additive rational or real numbers, the theory of the linear dense order without endpoints, the theory of finite or infinite trees, the construction of trees on an ordered set, and a combination of trees and ordered additive rational or real numbers. We give then an automatic way to combine any first order theory $T$ with the theory of finite or infinite trees. A such hybrid theory is called \emph{extension into trees} of the theory $T$ and is denoted by $T^*$. After having defined the axiomatization of $T^*$ using those of $T$, we define a new class of theories that we call \emph{flexible} and show that if $T$ is flexible then $T^*$ is zero-infinite-decomposable and thus complete. The flexible theories are first order theories having elegant properties which enable us to handle easily first order formulas. We show among other theories that the theory $\add$ of ordered additive rational numbers is flexible and thus that the extension into trees $\addd$ of $\add$ is complete. Finally, we end this thesis by a general algorithm for solving efficiently first order constraints in $\addd$. The algorithm is given in the form of 28 rewriting rules which transform every formula $\varphi$, which can possibly contain free variables, into a disjunction $\phi$ of solved formulas equivalent to $\varphi$ in $\addd$ and such that $\phi$ is either the formula $\vrai$, or the formula $\faux$, or a formula having at least one free variable and being equivalent neither to $\vrai$ nor to $\faux$ in $\addd$. Moreover, the solutions of the free variables of $\phi$ are expressed in a clear and explicit way in $\phi$.

La thèse porte sur la notion de modalité d'ordre supérieur. La modalité d'ordre supérieur peut être caractérisée comme une modalité agissant sur une proposition dans laquelle figure déjà une modalité, un aspect de la modalité qui, étonnamment, a été très peu étudié. Une analyse de ce phénomène est proposée et je présente certains problèmes philosophiques où ce phénomène se manifeste. Je considère, entre autres, le problème de la transparence épistémique (l'idée qu'un agent sait qu'il sait lorsqu'il sait) et j'applique l'analyse générale de la modalité d'ordre supérieur à la résolution de celui-ci. De même, une solution du paradoxe de Fitch est proposée, qui s'appuie essentiellement sur l'idée que certaines des notions modales impliquées dans ce paradoxe sont d'ordre supérieur et que celles-ci sont mal représentées dans un langage modal conventionnel. La discussion de ces problèmes sert de point départ à l'articulation d'une généralisation de la sémantique des mondes possibles. J'introduis un nouveau type de langage modal et montre comment il est interprété dans cette sémantique. Une étude des propriétés formelles de ce langage est donnée (axiomatisation, complétude, calcul de tableaux, etc.). Comme application subséquente de ces idées, je montre comment la modalité d'ordre supérieur est sous-jacente à deux analyses célèbres en logique philosophique : tout d'abord, dans la conception « ockhamiste » de Prior du temps et de la possibilité, et, par la suite, dans l'analyse des conditionnelles contrefactuelles de Stalnaker-Lewis. ______________________________________________________________________________

Diss.--Köln, 1999. / Bibliogr. p. [207]-218.

Habilitationsscrift--Philosophie--Göttingen--Universitätsbund Göttingen, 1937.

Texte remanié de: Doct. diss.--Zurich, 2006. / Bibliogr. p. 327-333.

Diss.--Universität Leipzig, 2005. / Bibliogr. p. 239-245.

Thèse de doctorat : Informatique : Saint-Etienne : 2001. / Thèse : 2001STET4006. Bibliogr. 6 p.

Thèse doctorat : Génie Civil : Villeurbanne, INSA : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 315-321.

Thèse de doctorat : Informatique : INPL : 2007. / Titre provenant de l'écran-titre.