We stand with Ukraine  

Mo Liu

Orcid: 0000-0001-6033-8212

Affiliations:
  • LORIA, University of Lorraine, Nancy, France


According to our database1, Mo Liu authored at least 8 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
0
1
2
3
4
5
2
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Almost APAL.
[BibTeX]
[DOI]
Hans van Ditmarsch
,
Mo Liu
,
Louwe B. Kuijer
,
Igor Sedlár
J. Log. Comput., August, 2023

Are bundles good deals for first-order modal logic?
[BibTeX]
[DOI]
Mo Liu
,
Anantha Padmanabha
,
R. Ramanujam
,
Yanjing Wang
Inf. Comput., August, 2023

Dynamic Epistemic Logic with Quantification And Normative Systems. (Logique épistémique dynamique avec quantification et systèmes normatifs).
[BibTeX]
[DOI]
Mo Liu
PhD thesis, 2023

An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability.
[BibTeX]
[DOI]
Hans van Ditmarsch
,
Louwe B. Kuijer
,
Mo Liu
Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

2022
Are Bundles Good Deals for FOML?
[BibTeX]
[DOI]
Mo Liu
,
Anantha Padmanabha
,
Ramaswamy Ramanujam
,
Yanjing Wang
CoRR, 2022

Decision problem of some bundled FOML fragments.
[BibTeX]
[DOI]
Mo Liu
CoRR, 2022

Generalized Bundled Fragments for First-Order Modal Logic.
[BibTeX]
[DOI]
Mo Liu
,
Anantha Padmanabha
,
R. Ramanujam
,
Yanjing Wang
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2020
Expressivity of Some Versions of APAL.
[BibTeX]
[DOI]
Hans van Ditmarsch
,
Mo Liu
,
Louwe B. Kuijer
,
Igor Sedlár
Proceedings of the Dynamic Logic. New Trends and Applications, 2020


  Loading...