Keyword:Games semantics

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