Robert Freiman

According to our database, Robert Freiman authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

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

2021

Games for Hybrid Logic - From Semantic Games to Analytic Calculi.

Robert Freiman

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