Report - Labelled Deductive Systemsprofs.scienze.univr.it/~vigano/events/lds-unilog05.pdf · Luca Vigan`o 9 Main results • Methodology: Presentation: (modal, relevance, ... logics). ∗

Please pass captcha verification before submit form