Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
A Logic of Knowledge and Belief Based on Abstract Arguments
Published in In the proceedings of Logic and Argumentation, 2020
Use Google Scholar for full citation
Recommended citation: Xu Li, Y{\`i} W{\'a}ng, "A Logic of Knowledge and Belief Based on Abstract Arguments." In the proceedings of Logic and Argumentation, 2020.
A logic of knowledge based on abstract arguments
Published in Journal of Logic and Computation, 2021
Recommended citation: Yì Wáng, Xu Li, "A logic of knowledge based on abstract arguments." Journal of Logic and Computation, 2021.
Download Paper
Weighted Modal Logic in Epistemic and Deontic Contexts
Published in In the proceedings of Logic, Rationality, and Interaction, 2021
Use Google Scholar for full citation
Recommended citation: Huimin Dong, Xu Li, Y{\`i} W{\'a}ng, "Weighted Modal Logic in Epistemic and Deontic Contexts." In the proceedings of Logic, Rationality, and Interaction, 2021.
Dynamic Deontic Logic for Permitted Announcements
Published in In the proceedings of Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Use Google Scholar for full citation
Recommended citation: Xu Li, Dov Gabbay, R\'{e}ka Markovich, "Dynamic Deontic Logic for Permitted Announcements." In the proceedings of Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022.
A Dynamic Logic of the Right to Know
Published in In the proceedings of The 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Use Google Scholar for full citation
Recommended citation: Xu Li, R\'{e}ka Markovich, "A Dynamic Logic of the Right to Know." In the proceedings of The 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023.
A Principle-Based Analysis of Bipolar Argumentation Semantics
Published in In the proceedings of Logics in Artificial Intelligence (JELIA 2023), 2023
Use Google Scholar for full citation
Recommended citation: Liuwen Yu, Caren Al, Srdjan Vesic, Xu Li, Leendert Torre, "A Principle-Based Analysis of Bipolar Argumentation Semantics." In the proceedings of Logics in Artificial Intelligence (JELIA 2023), 2023.
Rights and practical reasoning in deontic logic
Published in In the proceedings of Deontic Logic and Normative Systems: 16th International Conference, DEON 2023, 2023
Use Google Scholar for full citation
Recommended citation: Huimin Dong, Dragan Doder, Xu Li, R{\'e}ka Markovich, Leendert Torre, Marc Zee, "Rights and practical reasoning in deontic logic." In the proceedings of Deontic Logic and Normative Systems: 16th International Conference, DEON 2023, 2023.
The logic of epistemic obligation and two-dimensional semantics
Published in In the proceedings of Trends in Logic XXIII, 2023
Use Google Scholar for full citation
Recommended citation: Xu Li, "The logic of epistemic obligation and two-dimensional semantics." In the proceedings of Trends in Logic XXIII, 2023.
Deontic Sufficiency in Dyadic Deontic Logic
Published in In the proceedings of The 6th International Conference on Logic and Argumentation (CLAR 2025), 2025
Use Google Scholar for full citation
Recommended citation: Xu Li, "Deontic Sufficiency in Dyadic Deontic Logic." In the proceedings of The 6th International Conference on Logic and Argumentation (CLAR 2025), 2025.
From Knowledge to Action: Logics of Permitted and Obligatory Announcements
Published in Journal of Artificial Intelligence Research, 2025
Use Google Scholar for full citation
Recommended citation: Xu Li, Guillaume Aucher, Dov Gabbay, Réka Markovich, "From Knowledge to Action: Logics of Permitted and Obligatory Announcements." Journal of Artificial Intelligence Research, 2025.
Rational Monotony in Input/Output Logic
Published in In the proceedings of The 17th International Conference on Deontic Logic and normative systems (DEON 2025), 2025
Use Google Scholar for full citation
Recommended citation: Xu Li, Liuwen Yu, Leendert Torre, "Rational Monotony in Input/Output Logic." In the proceedings of The 17th International Conference on Deontic Logic and normative systems (DEON 2025), 2025.
A Dynamic Logic of the Right to Know
Published in Journal of Applied Logics, 2025
Use Google Scholar for full citation
Recommended citation: Xu Li, R\'{e}ka Markovich, "A Dynamic Logic of the Right to Know." Journal of Applied Logics, 2025.
talks
Resoning about Epistemic Rights
Published:
teaching
Intelligent Agents 2
Graduate course, University of Luxembourg, Department of Computer Science, 2025
This course introduces three formalisms in deontic logic: Monadic Deontic Logic, Dyadic Deontic Logic, and Input/Output Logic. I was the TA for the course.
Intelligent Agents 1
Graduate course, University of Luxembourg, Department of Computer Science, 2025
I was the TA for the first part of the course, in which we introduce modal logic (including syntax, semantics, and proof theories) and its different branches like epistemic logic, temporal logic, and first order modal logic.