Proof Theory of Riesz Modal Logic

par Christophe Lucas

Projet de thèse en Informatique


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.