Generalized Bundled Fragments for First-Order Modal Logic.

Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang

Browse the full MFCS paper archive.