Generalized Bundled Fragments for First-Order Modal Logic

Mo Liu 0002, Anantha Padmanabha, R. Ramanujam 0001, Yanjing Wang 0001. Generalized Bundled Fragments for First-Order Modal Logic. In Stefan Szeider, Robert Ganian, Alexandra Silva 0001, editors, 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria. Volume 241 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Mo Liu 0002

This author has not been identified. Look up 'Mo Liu 0002' in Google

Anantha Padmanabha

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

R. Ramanujam 0001

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

Yanjing Wang 0001

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