Expressivity of Some Versions of APAL. - Hans van Ditmarsch; Mo Liu 002; Louwe B. Kuijer; Igor Sedlár (DaLí, 2020)

Generalized Bundled Fragments for First-Order Modal Logic. - Mo Liu 002; Anantha Padmanabha; R. Ramanujam 001; Yanjing Wang 001 (MFCS, 2022)

Decision problem of some bundled FOML fragments. - Mo Liu 002 (CoRR, 2022)

Are Bundles Good Deals for FOML? - Mo Liu 002; Anantha Padmanabha; Ramaswamy Ramanujam; Yanjing Wang 001 (CoRR, 2022)

An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. - Hans van Ditmarsch; Louwe B. Kuijer; Mo Liu 002 (LORI, 2023)

Dynamic Epistemic Logic with Quantification And Normative Systems. (Logique épistémique dynamique avec quantification et systèmes normatifs). - Mo Liu 002 (2023)

Are bundles good deals for first-order modal logic? - Mo Liu 002; Anantha Padmanabha; R. Ramanujam 001; Yanjing Wang 001 (Inf. Comput., 2023)

Almost APAL. - Hans van Ditmarsch; Mo Liu 002; Louwe B. Kuijer; Igor Sedlár (J. Log. Comput., 2023)