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]

Bibliographies