3 citations · 4 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Reasoning About Group Polarization: From Semantic Games to Sequent Systems
Robert Freiman, Carlos Olarte, Elaine Pimentel +1
Group polarization, the phenomenon where individuals become more extreme after interacting, has been gaining attention, especially with the rise of social media shaping people's op…
cs.LO2022★ 1 cited
Truth and Preferences -- A Game Approach for Qualitative Choice Logic
Robert Freiman, Michael Bernreiter
In this paper, we introduce game-theoretic semantics (GTS) for Qualitative Choice Logic (QCL), which, in order to express preferences, extends classical propositional logic with an…
cs.LO2022★ 3 cited
Games for Hybrid Logic -- From Semantic Games to Analytic Calculi
Robert Freiman
Game semantics and winning strategies offer a potential conceptual bridge between semantics and proof systems of logics. We illustrate this link for hybrid logic -- an extension of…