HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Bjoern Lellmann

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

Keyphrases

linear logic, linear nested sequents, logical frameworks, multimodalities.

Copyright © 2012-2025 easychair.org. All rights reserved.