Ramit Das

According to our database, Ramit Das authored at least 3 papers between 2019 and 2023.

Collaborative distances:

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

2023

A Logical Description of Priority Separable Games.

Ramit Das, R. Ramanujam, Sunil Simon

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

2021

Reasoning in Large Games with Unboundedly Many Players.

Ramit Das, Anantha Padmanabha, R. Ramanujam

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2019

Reasoning about Social Choice and Games in Monadic Fixed-Point Logic.

Ramit Das, R. Ramanujam, Sunil Simon

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019