| 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 | 27 | 2018 |
| The monodic fragment of propositional term modal logic A Padmanabha, R Ramanujam Studia Logica 107, 533-557, 2019 | 22 | 2019 |
| Propositional modal logic with implicit modal quantification A Padmanabha, R Ramanujam Indian Conference on Logic and Its Applications, 6-17, 2019 | 15 | 2019 |
| Two variable fragment of Term Modal Logic A Padmanabha, R Ramanujam 44th International Symposium on Mathematical Foundations of Computer Science …, 2019 | 13 | 2019 |
| Are bundles good deals for first-order modal logic? M Liu, A Padmanabha, R Ramanujam, Y Wang Information and Computation 293, 105062, 2023 | 9* | 2023 |
| Propositional Term Modal Logic A Padmanabha Institute of Mathematical Sciences, Homi Bhabha National Institute, 2020 | 8 | 2020 |
| 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 | 5 | 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 |
| A dichotomy in the complexity of consistent query answering for two atom queries with self-join A Padmanabha, L Segoufin, C Sirangelo Proceedings of the ACM on Management of Data 2 (2), 1-15, 2024 | 4 | 2024 |
| Model checking a logic over systems with regular sets of processes MA Padmanabha, R Ramanujam | 4 | 2017 |
| 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 |
| Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions D Figueira, S Krishna, OS Mishra, A Padmanabha arXiv preprint arXiv:2407.20782, 2024 | | 2024 |
| Implicit quantification for modal reasoning in large games R Das, A Padmanabha, R Ramanujam Synthese 201 (5), 163, 2023 | | 2023 |
| 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) M Abdulaziz, K Mehlhorn, T Nipkow, A Silva, D Lokshtanov, T Kavitha, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |
| 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
