Anantha Padmanabha

Anantha Padmanabha

Indian Institute of Technology IIT Dharwad - Dharwad / India
Engineering & Technology / Computer Science
AD Scientific Index ID: 5374259
ਇੰਡੀਅਨ ਇੰਸਟੀਚਿਊਟ ਆਫ਼ ਟੈਕਨੋਲੋਜੀ ਧਾਰਵਾੜ
person_outline Anantha Padmanabha's MOST POPULAR ARTICLES
1-) Bundled Fragments of First-Order Modal Logic: (Un)DecidabilityA Padmanabha, R Ramanujam, Y Wang38th IARCS Annual Conference on Foundations of Software Technology and …, 2018252018
2-) The monodic fragment of propositional term modal logicA Padmanabha, R RamanujamStudia Logica 107, 533-557, 2019222019
3-) Propositional modal logic with implicit modal quantificationA Padmanabha, R RamanujamIndian Conference on Logic and Its Applications, 6-17, 2019152019
4-) Two variable fragment of Term Modal LogicA Padmanabha, R Ramanujam44th International Symposium on Mathematical Foundations of Computer Science …, 2019132019
5-) Are bundles good deals for first-order modal logic?M Liu, A Padmanabha, R Ramanujam, Y WangInformation and Computation 293, 105062, 20239*2023