author = { Lucas, Christophe Lyon, École normale supérieure AND Pous, Damien },

title = { Proof Theory of Riesz Modal Logic ; Théorie de la preuve de la Logique Modale de Riesz },

keywords = { Théorie de la preuve , Hypersequent calculus , Riesz space , Calcul des hypersequents , Espaces de Riesz , Proof theory , Modal logic , Logique Modale },

year = {2022-09-16},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }