Robert Freiman

According to our database, Robert Freiman authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Games for hybrid logic from semantic games to analytic calculi.

Robert Freiman

J. Log. Comput., 2025

Playing with Modalities (Invited Talk).

Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermüller

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Reasoning About Group Polarization: From Semantic Games to Sequent Systems.

Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

A Simple Token Game and its Logic.

Christian G. Fermüller, Robert Freiman, Timo Lang

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

Validity in Choice Logics - A Game-Theoretic Investigation.

Robert Freiman, Michael Bernreiter

Proceedings of the Logic, Language, Information, and Computation, 2023

Truth and Preferences - A Game Approach for Qualitative Choice Logic.

Robert Freiman, Michael Bernreiter

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

From Semantic Games to Provability: The Case of Gödel Logic.

Alexandra Pavlova, Robert Freiman, Timo Lang

Stud Logica, 2022