Mo Liu

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Normative Systems

Decision Procedures

Prime Implicates

Top Venues

J. Log. Comput.

Publications

Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
Almost APAL. J. Log. Comput. 33 (6) (2023)
Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. LORI (2023)
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Are bundles good deals for first-order modal logic? Inf. Comput. 293 (2023)
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Generalized Bundled Fragments for First-Order Modal Logic. MFCS (2022)