HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Robert Freiman

Publications
A Simple Token Game and its Logic
Christian Fermüller, Robert Freiman and Timo Lang
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
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

Keyphrases

game semantics, Games semantics, linear logic, modal logic, proof theory, resource logic, sequent system.

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