Bundled Fragments of First-Order Modal Logic: (Un)Decidability

Anantha Padmanabha, R. Ramanujam, Yanjing Wang. Bundled Fragments of First-Order Modal Logic: (Un)Decidability. In Sumit Ganguly, Paritosh K. Pandya, editors, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India. Volume 122 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Anantha Padmanabha

This author has not been identified. Look up 'Anantha Padmanabha' in Google

R. Ramanujam

This author has not been identified. Look up 'R. Ramanujam' in Google

Yanjing Wang

This author has not been identified. Look up 'Yanjing Wang' in Google