Keyword:multiplicative substructural logic

Publications
Tight Complexity for Modal Extensions of Lec with K, 4, T Wouter Leferink and Revantha Ramanayake In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning