Keyword:linear nested sequents

Publications
A uniform framework for substructural logics with modalities Bjoern Lellmann, Carlos Olarte and Elaine Pimentel In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning