Mme Clara Lerouvillois

Chercheuse associée

Affectation(s)

IHPST : Institut d'histoire et de philosophie des sciences et des techniques (UMR 8590)

Publications

2025

Pré-publication, Document de travail

titre: Dynamic Hypersequents for Public Announcement Logic
auteur: Clara Lerouvillois, Francesca Poggiolesi
article: 2025
typdoc: Pré-publication, Document de travail
Accès au texte intégral et bibtex