2 papers
cs.LO2025
The Modal Cube Revisited: Semantics without Worlds (Technical Report)
Renato Leme, Carlos Olarte, Elaine Pimentel +1
We present a non-deterministic semantic framework for all modal logics in the modal cube, extending prior works by Kearns and others. Our approach introduces modular and uniform mu…
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…