Robuta

https://iccl.inf.tu-dresden.de/web/Phdthesis3019/en Refining Labelled Systems for Modal and Constructive Logics with Applications - International... Tim Lyon. Refining Labelled Systems for Modal and Constructive Logics with Applications. Phd thesis, Technische Universität Wien, 2021/07/29 constructive logics refining labelled systems modal https://cris.fbk.eu/handle/11582/34399 A note on constructive semantics for description logics a note description logics constructive semantics