Proof Theory of Riesz Modal Logic

par Christophe Lucas

Projet de thèse en Informatique

128

La soutenance est prévue le 23-09-2022

11:00 Lieu envisagé : ENS Lyon

Sous la direction de Damien Pous.

Thèses en préparation à Lyon , dans le cadre de École doctorale en Informatique et Mathématiques de Lyon , en partenariat avec École normale supérieure de Lyon (2010-...) (établissement opérateur d'inscription) et de Laboratoire de l'informatique du parallélisme (Lyon) (laboratoire) depuis le 01-10-2019 .

Pas de résumé en français disponible.

Pas de résumé disponible.