HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Carlos Olarte

Publications
Reasoning About Group Polarization: From Semantic Games to Sequent Systems
Robert Freiman, Carlos Olarte, Elaine Pimentel and Christian Fermüller
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
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

Games semantics, linear logic, linear nested sequents, logical frameworks, modal logic, multimodalities, sequent system.

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