Robert Freiman

11 papers B 4C 2Journal 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Games for hybrid logic from semantic games to analytic calculi.
J. Log. Comput.
Robert Freiman
2025 B conf
Playing with Modalities (Invited Talk).
CSL
Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermüller
2024 B conf
A Simple Token Game and its Logic.
LPAR
Christian G. Fermüller, Robert Freiman, Timo Lang
2024 B conf
Reasoning About Group Polarization: From Semantic Games to Sequent Systems.
LPAR
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2024 J jnl
Reasoning About Group Polarization: From Semantic Games to Sequent Systems.
CoRR
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2023 B conf
Truth and Preferences - A Game Approach for Qualitative Choice Logic.
JELIA
Robert Freiman, Michael Bernreiter
2023 C conf
Validity in Choice Logics - A Game-Theoretic Investigation.
WoLLIC
Robert Freiman, Michael Bernreiter
2022 J jnl
From Semantic Games to Provability: The Case of Gödel Logic.
Stud Logica
Alexandra Pavlova, Robert Freiman, Timo Lang
2022 J jnl
Games for Hybrid Logic - From Semantic Games to Analytic Calculi.
CoRR
Robert Freiman
2022 J jnl
Truth and Preferences - A Game Approach for Qualitative Choice Logic.
CoRR
Robert Freiman, Michael Bernreiter
2021 C conf
Games for Hybrid Logic - From Semantic Games to Analytic Calculi.
WoLLIC
Robert Freiman