| Bundled Fragments of First-Order Modal Logic: (Un)Decidability A Padmanabha, R Ramanujam, Y Wang 38th IARCS Annual Conference on Foundations of Software Technology and …, 2018 | 25 | 2018 |
| The monodic fragment of propositional term modal logic A Padmanabha, R Ramanujam Studia Logica 107, 533-557, 2019 | 21 | 2019 |
| Propositional modal logic with implicit modal quantification A Padmanabha, R Ramanujam Indian Conference on Logic and Its Applications, 6-17, 2019 | 14 | 2019 |
| Two variable fragment of Term Modal Logic A Padmanabha, R Ramanujam 44th International Symposium on Mathematical Foundations of Computer Science …, 2019 | 12 | 2019 |
| Propositional Term Modal Logic A Padmanabha Institute of Mathematical Sciences, Homi Bhabha National Institute, 2020 | 8 | 2020 |
| Are bundles good deals for first-order modal logic? M Liu, A Padmanabha, R Ramanujam, Y Wang Information and Computation 293, 105062, 2023 | 6* | 2023 |
| Generalized bundled fragments for first-order modal logic M Liu, A Padmanabha, R Ramanujam, Y Wang 47th International symposium on mathematical foundations of computer science …, 2022 | 5 | 2022 |
| Model checking a logic over systems with regular sets of processes MA Padmanabha, R Ramanujam | 4 | 2017 |
| A Simple Algorithm for Consistent Query Answering under Primary Keys D Figueira, A Padmanabha, L Segoufin, C Sirangelo 26th International Conference on Database Theory, {ICDT} 2023 255, 24:1--24:18, 2023 | 3 | 2023 |
| A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join A Padmanabha, L Segoufin, C Sirangelo arXiv preprint arXiv:2309.12059, 2023 | 2 | 2023 |
| A decidable fragment of first order modal logic: two variable term modal logic A Padmanabha, R Ramanujam ACM Transactions on Computational Logic 24 (4), 1-38, 2023 | 2 | 2023 |
| Reasoning in Large Games with Unboundedly Many Players R Das, A Padmanabha, R Ramanujam Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021 | 2 | 2021 |
| Relative Expressive Powers of First Order Modal Logic and Term Modal Logic A Padmanabha ICLA 2021 Proceedings, 97, 2021 | 1 | 2021 |
| Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes A Padmanabha, R Ramanujam International Conference on Distributed Computing and Internet Technology …, 2019 | 1 | 2019 |
| Revisiting games in dynamic-epistemic logic S Ghosh, A Padmanabha Proceedings of the 13th Conference on Logic and the Foundations of Games and …, 2018 | 1 | 2018 |
| Implicit quantification for modal reasoning in large games R Das, A Padmanabha, R Ramanujam Synthese 201 (5), 163, 2023 | | 2023 |
| Satisfiability Problem for the Bundled Fragments of First Order Modal Logic M Liu, A Padmanabha, R Ramanujam, Y Wang | | |
| Decidable Fragments of Term Modal Logic A Padmanabha, R Ramanujam | | |
R. RamanujamInstitute of Mathematical SciencesVerified email at imsc.res.in
