%0 Generic
%T Proof Theory of Riesz Modal Logic ; Théorie de la preuve de la Logique Modale de Riesz
%A Lucas, Christophe
%A Lyon, École normale supérieure
%A Pous, Damien
%K Théorie de la preuve
%K Hypersequent calculus
%K Riesz space
%K Calcul des hypersequents
%K Espaces de Riesz
%K Proof theory
%K Modal logic
%K Logique Modale
%D 2022-09-16
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation