Reasoning about Social Choice and Games in Monadic Fixed-Point Logic. - Ramit Das; R. Ramanujam 001; Sunil Simon (TARK, 2019)

Reasoning in Large Games with Unboundedly Many Players. - Ramit Das; Anantha Padmanabha; R. Ramanujam 001 (LORI, 2021)

A Logical Description of Priority Separable Games. - Ramit Das; R. Ramanujam 001; Sunil Simon (LORI, 2023)