Follow
Anantha Padmanabha
Title
Cited by
Cited by
Year
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
272018
The monodic fragment of propositional term modal logic
A Padmanabha, R Ramanujam
Studia Logica 107, 533-557, 2019
222019
Propositional modal logic with implicit modal quantification
A Padmanabha, R Ramanujam
Indian Conference on Logic and Its Applications, 6-17, 2019
152019
Two variable fragment of Term Modal Logic
A Padmanabha, R Ramanujam
44th International Symposium on Mathematical Foundations of Computer Science …, 2019
132019
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
82020
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
52023
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
52022
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
42024
Model checking a logic over systems with regular sets of processes
MA Padmanabha, R Ramanujam
42017
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
22023
Reasoning in Large Games with Unboundedly Many Players
R Das, A Padmanabha, R Ramanujam
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021
22021
Relative Expressive Powers of First Order Modal Logic and Term Modal Logic
A Padmanabha
ICLA 2021 Proceedings, 97, 2021
12021
Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes
A Padmanabha, R Ramanujam
International Conference on Distributed Computing and Internet Technology …, 2019
12019
Revisiting games in dynamic-epistemic logic
S Ghosh, A Padmanabha
Proceedings of the 13th Conference on Logic and the Foundations of Games and …, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–20